
# To normalize:
# bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i docs/references.bib -o docs/references.bib

# WARNING: Please only use alphanumeric characters, '-', '_', and ':' for the key of bibliography items!
# Currently doc-gen does not support characters outside them and will silently errors, causing incomplete reference pages.

# https://www.zbmath.org/ and https://mathscinet.ams.org/mathscinet
# (or the free tool https://mathscinet.ams.org/mrlookup)
# are good sources of complete bibtex entries for mathematics

# To link to an entry in `references.bib`, use the following formats:
#   [Author, *Title* (optional location)][bibkey]
@Book{            abramsky_gabbay_maibaum_1994,
  editor        = {Abramsky, S. and Gabbay, D. M. and Maibaum, T. S. E.},
  title         = {Handbook of logic in computer science. {Vol}. 3:
                  {Semantic} structures},
  isbn          = {0-19-853762-X},
  year          = {1994},
  publisher     = {Oxford: Clarendon Press},
  language      = {English},
  keywords      = {68-00,68Q55},
  zbmath        = {783754},
  zbl           = {0829.68111}
}

@Book{            Adamek_Rosicky_1994,
  author        = {Adámek, Jiří and Rosický, Jiří},
  title         = {Locally presentable and accessible categories},
  series        = {London Mathematical Society Lecture Note Series},
  volume        = {189},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {1994},
  pages         = {xiv+316},
  isbn          = {0-521-42261-2},
  mrclass       = {18Axx (18-02)},
  mrnumber      = {1294136},
  doi           = {10.1017/CBO9780511600579},
  url           = {https://doi.org/10.1017/CBO9780511600579}
}

@Book{            Adamek_Rosicky_Vitale_2010,
  place         = {Cambridge},
  series        = {Cambridge Tracts in Mathematics},
  title         = {Algebraic Theories: A Categorical Introduction to General
                  Algebra},
  publisher     = {Cambridge University Press},
  author        = {Adámek, J. and Rosický, J. and Vitale, E. M.},
  year          = {2010},
  collection    = {Cambridge Tracts in Mathematics}
}

@InProceedings{   adhesive2004,
  author        = {S. Lack and P. Soboci{\'n}ski},
  title         = {Adhesive categories},
  booktitle     = {Foundations of Software Science and Computation
                  Structures, {FoSSaCS '04}},
  series        = {LNCS},
  volume        = {2987},
  pages         = {273--288},
  publisher     = {Springer},
  year          = {2004},
  url           = {https://www.ioc.ee/~pawel/papers/adhesive.pdf}
}

@Article{         ahrens2017,
  author        = {Benedikt Ahrens and Peter LeFanu Lumsdaine},
  year          = {2019},
  title         = {Displayed Categories},
  journal       = {Logical Methods in Computer Science},
  volume        = {15},
  issue         = {1},
  doi           = {10.23638/LMCS-15(1:20)2019}
}

@Book{            aigner1997,
  author        = {Aigner, Martin},
  title         = {Combinatorial theory},
  series        = {Classics in Mathematics},
  note          = {Reprint of the 1979 original},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1997},
  pages         = {viii+483},
  isbn          = {3-540-61787-6},
  mrclass       = {05-01 (06-01)},
  mrnumber      = {1434477},
  doi           = {10.1007/978-3-642-59101-3},
  url           = {https://doi.org/10.1007/978-3-642-59101-3}
}

@Book{            aigner1999proofs,
  author        = {Aigner, Martin and Ziegler, G{\"u}nter M.},
  title         = {Proofs from {THE} {BOOK}},
  isbn          = {3-540-63698-6},
  year          = {1998},
  publisher     = {Berlin: Springer},
  language      = {English},
  keywords      = {00A05,11-01,05-01,52-01,26-01},
  zbmath        = {1188564},
  zbl           = {0905.00001}
}

@Misc{            aignerhorev2012infinite,
  author        = {Elad Aigner-Horev and Johannes Carmesin and Jan-Oliver
                  Fröhlich},
  title         = {Infinite matroid union},
  year          = {2012},
  eprint        = {1111.0602},
  archiveprefix = {arXiv}
}

@Article{         alfseneffros1972,
  author        = {Erik M. {Alfsen} and Edward G. {Effros}},
  title         = {{Structure in real Banach spaces. I and II}},
  fjournal      = {{Annals of Mathematics. Second Series}},
  journal       = {{Ann. Math. (2)}},
  issn          = {0003-486X},
  volume        = {96},
  pages         = {98--173},
  year          = {1972},
  publisher     = {Princeton University, Mathematics Department, Princeton,
                  NJ},
  language      = {English},
  doi           = {10.2307/1970895},
  msc2010       = {46L05 46B10 46K05 46E15 46B99 46A40},
  zbl           = {0248.46019}
}

@Book{            alfsenshultz2003,
  author        = {Erik M. {Alfsen} and Frederic W. {Shultz}},
  title         = {{Geometry of state spaces of operator algebras}},
  isbn          = {0-8176-4319-2},
  pages         = {xiii + 467},
  year          = {2003},
  publisher     = {Boston, MA: Birkh\"auser},
  language      = {English},
  msc2010       = {46-02 46L05 46L10 46L70 46L30 17C65},
  zbl           = {1042.46001}
}

@Article{         Alon_1999,
  author        = {Alon, Noga},
  title         = {Combinatorial Nullstellensatz},
  volume        = {8},
  journal       = {Combinatorics, Probability and Computing},
  year          = {1999},
  number        = {1–2},
  pages         = {7–29},
  issn          = {0963-5483},
  doi           = {10.1017/S0963548398003411}
}

@Book{            altman2021term,
  title         = {A Term of Commutative Algebra},
  author        = {Altman, A. and Kleiman, S.},
  isbn          = {9780988557215},
  year          = {2021},
  publisher     = {Worldwide Center of Mathematics}
}

@Book{            aluffi2016,
  title         = {Algebra: Chapter 0},
  author        = {Aluffi, Paolo},
  series        = {Graduate Studies in Mathematics},
  volume        = {104},
  year          = {2016},
  publisher     = {American Mathematical Society},
  edition       = {Reprinted with corrections by the American Mathematical
                  Society}
}

@Article{         andrasfaiErdosSos1974,
  author        = {Andrasfái, B. and Erdős, P. and Sós, V. T.},
  year          = {1974},
  month         = {5},
  pages         = {205--218},
  title         = {On the connection between chromatic number, maximal
                  clique, and minimal degree of a graph},
  volume        = {8},
  issue         = {3},
  journal       = {Discrete Mathematics},
  doi           = {10.1016/0012-365X(74)90133-2},
  url           = {https://doi.org/10.1016/0012-365X(74)90133-2}
}

@Book{            atiyah-macdonald,
  author        = {Atiyah, M. F. and Macdonald, I. G.},
  title         = {Introduction to commutative algebra},
  publisher     = {Addison-Wesley Publishing Co., Reading, Mass.-London-Don
                  Mills, Ont.},
  year          = {1969},
  pages         = {ix+128},
  mrclass       = {13.00},
  mrnumber      = {0242802},
  mrreviewer    = {J. A. Johnson}
}

@Article{         aubrunEntangleabilityCones2021,
  author        = {Aubrun, Guillaume and Lami, Ludovico and Palazuelos,
                  Carlos and Pl\'{a}vala, Martin},
  title         = {Entangleability of cones},
  journal       = {Geometric and Functional Analysis},
  volume        = {31},
  number        = {2},
  pages         = {181--205},
  year          = {2021},
  doi           = {10.1007/s00039-021-00565-5},
  eprint        = {1911.09663},
  eprinttype    = {arXiv},
  url           = {https://link.springer.com/10.1007/s00039-021-00565-5}
}

@InProceedings{   avigad-carneiro-hudon2019,
  author        = {Jeremy Avigad and Mario M. Carneiro and Simon Hudon},
  editor        = {John Harrison and John O'Leary and Andrew Tolmach},
  title         = {Data Types as Quotients of Polynomial Functors},
  booktitle     = {10th International Conference on Interactive Theorem
                  Proving, {ITP} 2019, September 9-12, 2019, Portland, OR,
                  {USA}},
  series        = {LIPIcs},
  volume        = {141},
  pages         = {6:1--6:19},
  publisher     = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year          = {2019},
  url           = {https://doi.org/10.4230/LIPIcs.ITP.2019.6},
  doi           = {10.4230/LIPIcs.ITP.2019.6},
  timestamp     = {Fri, 27 Sep 2019 15:57:06 +0200},
  biburl        = {https://dblp.org/rec/conf/itp/AvigadCH19.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Misc{            avigad_moura_kong-2017,
  author        = {Jeremy Avigad and Leonardo de Moura and Soonho Kong},
  title         = {{T}heorem {P}roving in {L}ean},
  year          = {2017},
  howpublished  = {},
  url           = {https://leanprover.github.io/theorem_proving_in_lean/}
}

@Book{            axler2015,
  author        = {Sheldon Axler},
  title         = {Linear algebra done right. 3rd ed.},
  fjournal      = {Undergraduate Texts in Mathematics},
  journal       = {Undergraduate Texts Math.},
  issn          = {0172-6056; 2197-5604/e},
  edition       = {3rd ed.},
  isbn          = {978-3-319-11079-0/hbk; 978-3-319-11080-6/ebook},
  pages         = {xvii + 340},
  year          = {2015},
  publisher     = {Springer}
}

@Manual{          banasiak,
  author        = {Banasiak},
  title         = {Banach Lattices in Applications},
  organization  = {University of Pretoria},
  address       = {Pretoria, South Africa}
}

@Article{         barnes1967,
  author        = {Barnes, Donald W.},
  title         = {On {C}artan subalgebras of {L}ie algebras},
  journal       = {Math. Z.},
  fjournal      = {Mathematische Zeitschrift},
  volume        = {101},
  year          = {1967},
  pages         = {350--355},
  issn          = {0025-5874},
  mrclass       = {17.30},
  mrnumber      = {220785},
  mrreviewer    = {R. Steinberg},
  doi           = {10.1007/BF01109800},
  url           = {https://doi.org/10.1007/BF01109800}
}

@Misc{            barwickhaine2019,
  title         = {Pyknotic objects, I. Basic notions},
  author        = {Clark Barwick and Peter Haine},
  year          = {2019},
  eprint        = {1904.09966},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG}
}

@Book{            bbd-1982,
  author        = {Beilinson, A. A. and Bernstein, J. and Deligne, P. and
                  Gabber, O.},
  title         = {Analyse et topologie sur les espaces singuliers. {I :
                  Faisceaux pervers}},
  series        = {Ast\'{e}risque},
  volume        = {100},
  booktitle     = {Proceedings of the colloquium held at {L}uminy, {J}uly
                  6--11, 1981},
  publisher     = {Soci\'{e}t\'{e} Math\'{e}matique de France, Paris},
  year          = {2018},
  pages         = {172},
  mrclass       = {32-06 (14-06)},
  mrnumber      = {751965}
}

@Book{            beals2004,
  author        = {Richard Beals},
  title         = {Analysis. An introduction},
  publisher     = {Cambridge University Press},
  isbn          = {0521600472},
  year          = {2004}
}

@Book{            Becker-Weispfenning1993,
  address       = {New York, NY},
  series        = {Graduate Texts in Mathematics},
  title         = {Gröbner Bases},
  volume        = {141},
  isbn          = {978-1-4612-6944-1},
  url           = {http://link.springer.com/10.1007/978-1-4612-0913-3},
  doi           = {10.1007/978-1-4612-0913-3},
  publisher     = {Springer New York},
  author        = {Becker, Thomas and Weispfenning, Volker},
  year          = {1993},
  collection    = {Graduate Texts in Mathematics},
  language      = {en}
}

@Book{            behrends1979,
  author        = {Ehrhard {Behrends}},
  title         = {{M-structure and the Banach-Stone theorem}},
  fjournal      = {{Lecture Notes in Mathematics}},
  journal       = {{Lect. Notes Math.}},
  issn          = {0075-8434},
  volume        = {736},
  year          = {1979},
  publisher     = {Springer, Cham},
  language      = {English},
  msc2010       = {46B20 46-02 46E40 46A40},
  zbl           = {0436.46013}
}

@Book{            bensonfarb1993,
  author        = {Benson Farb, R. Keith Dennis},
  series        = {Graduate Texts in Mathematics},
  title         = {Noncommutative Algebra},
  year          = {1993},
  publisher     = {Springer},
  language      = {English},
  volume        = {144},
  url           = {https://link.springer.com/book/10.1007/978-1-4612-0889-1}
}

@Article{         bergelson1985,
  author        = {Bergelson, Vitaly},
  title         = {Sets of Recurrence of Zm-Actions and Properties of Sets of
                  Differences in Zm},
  journal       = {Journal of the London Mathematical Society},
  volume        = {s2-31},
  number        = {2},
  pages         = {295-304},
  doi           = {https://doi.org/10.1112/jlms/s2-31.2.295},
  url           = {https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/jlms/s2-31.2.295},
  eprint        = {https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms/s2-31.2.295},
  year          = {1985}
}

@Book{            berger1987,
  author        = {Marcel Berger},
  title         = {Geometry I},
  publisher     = {Springer Berlin},
  year          = 1987,
  issn          = {0172-5939},
  pages         = {XIV, 432},
  series        = {Universitext},
  address       = {Heidelberg},
  edition       = 1
}

@Book{            bergh_lofstrom_1976,
  author        = {Bergh, Jöran and Löfström, Jörgen},
  title         = {Interpolation Spaces},
  publisher     = {Springer Berlin},
  year          = 1976,
  issn          = {0072-7830}
}

@Article{         bernstein1912,
  author        = {Bernstein, S.},
  year          = {1912},
  title         = {Démonstration du théorème de Weierstrass fondée sur le
                  calcul des probabilités},
  journal       = {Comm. Kharkov Math. Soc.},
  volume        = {13},
  number        = {1–2}
}

@Book{            Berthelot-1974,
  author        = {Berthelot, Pierre},
  year          = {1974},
  series        = {Lecture {{Notes}} in {{Mathematics}}},
  number        = {407},
  publisher     = {sv},
  keywords      = {nosource},
  file          = {/Users/chambert/Zotero/storage/WHF5R9LQ/Berthelot - 1974 -
                  Cohomologie cristalline des schémas de caractérist.djvu},
  title         = {Cohomologie Cristalline Des Schémas de Caractéristique
                  {$p>0$}}
}

@Book{            BerthelotOgus-1978,
  title         = {Notes on Crystalline Cohomology},
  author        = {Berthelot, Pierre and Ogus, Arthur},
  year          = {1978},
  series        = {Math. {{Notes}}},
  number        = {21},
  publisher     = {pup},
  keywords      = {nosource},
  file          = {/Users/chambert/Zotero/storage/I3FNJEDB/Berthelot et Ogus
                  - 1978 - Notes on crystalline cohomology.djvu}
}

@InProceedings{   beylin1996,
  author        = "Beylin, Ilya and Dybjer, Peter",
  editor        = "Berardi, Stefano and Coppo, Mario",
  title         = "Extracting a proof of coherence for monoidal categories
                  from a proof of normalization for monoids",
  booktitle     = "Types for Proofs and Programs",
  year          = "1996",
  publisher     = "Springer Berlin Heidelberg",
  address       = "Berlin, Heidelberg",
  pages         = "47--61",
  abstract      = "This paper studies the problem of coherence in category
                  theory from a type-theoretic viewpoint. We first show how a
                  Curry-Howard interpretation of a formal proof of
                  normalization for monoids almost directly yields a
                  coherence proof for monoidal categories. Then we formalize
                  this coherence proof in intensional intuitionistic type
                  theory and show how it relies on explicit reasoning about
                  proof objects for intensional equality. This formalization
                  has been checked in the proof assistant ALF.",
  isbn          = "978-3-540-70722-6"
}

@Book{            billingsley1999,
  author        = {Billingsley, Patrick},
  title         = {Convergence of probability measures},
  series        = {Wiley Series in Probability and Statistics: Probability
                  and Statistics},
  edition       = {Second},
  note          = {A Wiley-Interscience Publication},
  publisher     = {John Wiley \& Sons, Inc., New York},
  year          = {1999},
  pages         = {x+277},
  isbn          = {0-471-19745-9},
  mrclass       = {60B10 (28A33 60F17)},
  mrnumber      = {1700749},
  doi           = {10.1002/9780470316962},
  url           = {https://doi.org/10.1002/9780470316962}
}

@Article{         birkhoff1937,
  author        = {Birkhoff, Garrett},
  title         = {Rings of sets},
  volume        = {3},
  journal       = {Duke Mathematical Journal},
  number        = {3},
  publisher     = {Duke University Press},
  pages         = {443--454},
  year          = {1937},
  doi           = {10.1215/S0012-7094-37-00334-X},
  url           = {https://doi.org/10.1215/S0012-7094-37-00334-X}
}

@Book{            birkhoff1940,
  author        = {Birkhoff, Garrett},
  title         = {Lattice Theory},
  edition       = {First},
  publisher     = {American Mathematical Society},
  year          = {1940},
  volume        = {25}
}

@Article{         birkhoff1942,
  author        = {Birkhoff, Garrett},
  title         = {Lattice-Ordered groups},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {43},
  year          = {1942},
  pages         = {298--331},
  issn          = {0003-486X},
  mrclass       = {20.0X},
  mrnumber      = {6550},
  mrreviewer    = {H. Wallman},
  doi           = {10.2307/1968871},
  url           = {https://doi.org/10.2307/1968871}
}

@Book{            bjorner2005,
  author        = {Bj\"{o}rner, Anders and Brenti, Francesco},
  title         = {Combinatorics of {C}oxeter groups},
  series        = {Graduate Texts in Mathematics},
  volume        = {231},
  publisher     = {Springer, New York},
  year          = {2005},
  pages         = {xiv+363},
  isbn          = {978-3540-442387; 3-540-44238-3},
  mrclass       = {05-01 (05E15 20F55)},
  mrnumber      = {2133266},
  mrreviewer    = {Jian-yi\ Shi}
}

@Book{            bogachev2007,
  author        = {Bogachev, V. I.},
  title         = {Measure theory. {V}ol. {I}, {II}},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2007},
  pages         = {Vol. I: xviii+500 pp., Vol. II: xiv+575},
  isbn          = {978-3-540-34513-8; 3-540-34513-2},
  doi           = {10.1007/978-3-540-34514-5},
  url           = {https://doi.org/10.1007/978-3-540-34514-5}
}

@Article{         bojanic74,
  author        = {Bojani\'c, Ranko},
  title         = {A simple proof of {M}ahler's theorem on approximation of
                  continuous functions of a p-adic variable by polynomials},
  journal       = {Journal of Number Theory},
  volume        = {6},
  pages         = {412-415},
  year          = {1974},
  issn          = {0022-314X},
  doi           = {10.1016/0022-314X(74)90038-9},
  url           = {https://doi.org/10.1016/0022-314X(74)90038-9}
}

@Book{            bollobas1986,
  author        = {Bollob\'{a}s, B\'{e}la},
  title         = {Combinatorics: Set Systems, Hypergraphs, Families of
                  Vectors, and Combinatorial Probability},
  year          = {1986},
  isbn          = {0521330599},
  publisher     = {Cambridge University Press}
}

@Book{            borceux-vol1,
  title         = {Handbook of Categorical Algebra: Volume 1, Basic Category
                  Theory},
  author        = {Borceux, Francis},
  series        = {Encyclopedia of Mathematics},
  volume        = {50},
  year          = {1994},
  publisher     = {Cambridge University Press}
}

@Book{            borceux-vol2,
  title         = {Handbook of Categorical Algebra: Volume 2, Categories and
                  Structures},
  author        = {Borceux, Francis},
  series        = {Encyclopedia of Mathematics},
  volume        = {51},
  year          = {1994},
  publisher     = {Cambridge University Press}
}

@Book{            borceux-vol3,
  title         = {Handbook of Categorical Algebra: Volume 3, Sheaf Theory},
  author        = {Borceux, Francis},
  series        = {Encyclopedia of Mathematics},
  volume        = {52},
  year          = {1994},
  publisher     = {Cambridge University Press}
}

@Article{         borcherds1986vertex,
  author        = {Borcherds, Richard},
  title         = {Vertex algebras, Kac-Moody algebras, and the monster},
  journal       = {Proceedings of the National Academy of Sciences of the
                  United States of America},
  number        = {10},
  year          = {1986},
  pages         = {3068–3071},
  volume        = {83},
  publisher     = {National Academy of Sciences},
  doi           = {10.1073/pnas.83.10.3068}
}

@Misc{            BorgerJun2024,
  title         = {Facets of module theory over semirings},
  author        = {James Borger and Jaiung Jun},
  year          = {2024},
  eprint        = {2405.18645},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG},
  url           = {https://arxiv.org/abs/2405.18645}
}

@Article{         borsuk_mazurkiewicz1934,
  author        = {Borsuk, Karol and Mazurkiewicz, Stefan},
  title         = {Sur les rétractes absolus indécomposables},
  journal       = {C. R. Acad. Sci. Paris},
  fjournal      = {Comptes Rendus Hebdomadaires des Séances de l'Académie
                  des Sciences},
  volume        = {199},
  year          = {1934},
  pages         = {110--112}
}

@Book{            bosch-guntzer-remmert,
  title         = {Non-Archimedean Analysis : A Systematic Approach to Rigid
                  Analytic Geometry},
  author        = {S. Bosch and U. G{\"{u}}ntzer and R. Remmert},
  series        = {Grundlehren der mathematischen Wissenschaften},
  volume        = {261},
  year          = {1984},
  publisher     = {Springer-Verlag Berlin }
}

@Book{            bourbaki1966,
  author        = {Bourbaki, Nicolas},
  title         = {Elements of mathematics. {G}eneral topology. {P}art 1},
  publisher     = {Hermann, Paris; Addison-Wesley Publishing Co., Reading,
                  Mass.-London-Don Mills, Ont.},
  year          = {1966},
  pages         = {vii+437},
  mrclass       = {54.00 (00.00)},
  mrnumber      = {0205210}
}

@Book{            bourbaki1966b,
  author        = {Bourbaki, Nicolas},
  title         = {Elements of mathematics. {G}eneral topology. {P}art 2},
  publisher     = {Hermann, Paris; Addison-Wesley Publishing Co., Reading,
                  Mass.-London-Don Mills, Ont.},
  year          = {1966},
  pages         = {iv+363},
  mrclass       = {54-02 (00A05 54-01)},
  mrnumber      = {979295}
}

@Book{            bourbaki1968,
  author        = {Bourbaki, Nicolas},
  title         = {Lie groups and {L}ie algebras. {C}hapters 4--6},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the 1968 French original by Andrew
                  Pressley},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2002},
  pages         = {xii+300},
  isbn          = {3-540-42650-7},
  mrclass       = {17-01 (00A05 20E42 20F55 22-01)},
  mrnumber      = {1890629}
}

@Book{            bourbaki1975,
  author        = {Bourbaki, Nicolas},
  title         = {Lie groups and {L}ie algebras. {C}hapters 1--3},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the French, Reprint of the 1989 English
                  translation},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1998},
  pages         = {xviii+450},
  isbn          = {3-540-64242-0},
  mrclass       = {17Bxx (00A05 22Exx)},
  mrnumber      = {1728312}
}

@Book{            bourbaki1975b,
  author        = {Bourbaki, Nicolas},
  title         = {Lie groups and {L}ie algebras. {C}hapters 7--9},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the 1975 and 1982 French originals by
                  Andrew Pressley},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2005},
  pages         = {xii+434},
  isbn          = {3-540-43405-4},
  mrclass       = {17-01 (01A75 22-01)},
  mrnumber      = {2109105}
}

@Book{            bourbaki1981,
  author        = {Bourbaki, N.},
  title         = {Algebra. {II}. {C}hapters 4--7},
  series        = {Elements of Mathematics},
  note          = {Translated from the French by P. M. Cohn and J. Howie},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1990},
  pages         = {vii+461},
  isbn          = {3-540-19375-8},
  mrclass       = {00A05 (12-01 13-01)},
  mrnumber      = {1080964}
}

@Book{            bourbaki1987,
  author        = {Bourbaki, N.},
  title         = {Topological vector spaces. {C}hapters 1--5},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the French by H. G. Eggleston and S.
                  Madan},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1987},
  pages         = {viii+364},
  isbn          = {3-540-13627-4},
  mrclass       = {46-02 (46-01 46Axx 47D15)},
  mrnumber      = {910295},
  doi           = {10.1007/978-3-642-61715-7},
  url           = {https://doi.org/10.1007/978-3-642-61715-7}
}

@Book{            bourbaki1989,
  author        = {Bourbaki, N.},
  title         = {Algebra. {I}. {C}hapters 1–3},
  series        = {Elements of Mathematics},
  note          = {Translated from the French},
  year          = {1998},
  publisher     = {Springer-Verlag, Berlin},
  isbn          = {3-540-64243-9},
  pages         = {xxiii + 709},
  edition       = {Softcover edition of the 2nd printing 1989},
  msc2010       = {00A05 12-01 15-01 20-01 16-01 17-01 15A69 15A72 15A75
                  15A78 17D05 20E05 20F16},
  zmnumber      = {0904.00001}
}

@Book{            bourbaki2007,
  author        = {Bourbaki, Nicolas},
  edition       = {Réimpression inchangée de l'édition originale de 1959},
  series        = {Eléments de mathématique},
  title         = {Algèbre. {C}hapitre IX},
  isbn          = {978-3-540-35338-6},
  language      = {fr},
  number        = {2},
  publisher     = {Springer},
  year          = {2007}
}

@Book{            bourbaki2023,
  author        = {Bourbaki, N.},
  series        = {Éléments de mathématique},
  title         = {Théories Spectrales. {C}hapitres 3 à 5},
  isbn          = {978-3-031-19504-4},
  language      = {fr},
  number        = {1},
  publisher     = {Springer Cham},
  year          = {2023},
  url           = {https://doi.org/10.1007/978-3-031-19505-1}
}

@Article{         bowlerGeschke2015,
  author        = {Bowler, Nathan and Geschke, Stefan},
  year          = {2015},
  month         = {10},
  pages         = {1},
  title         = {Self-dual uniform matroids on infinite sets},
  volume        = {144},
  journal       = {Proceedings of the American Mathematical Society},
  doi           = {10.1090/proc/12667}
}

@Book{            boydVandenberghe2004,
  author        = {Stephen P. Boyd and Lieven Vandenberghe},
  title         = {Convex Optimization},
  publisher     = {Cambridge University Press},
  year          = {2004},
  isbn          = {978-0-521-83378-3},
  url           = {https://web.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf}
}

@Article{         brandt2003,
  author        = {Brandt, Stephan},
  year          = {2003},
  month         = {12},
  pages         = {693--696},
  title         = {Note: On the structure of graphs with bounded clique
                  number},
  volume        = {23},
  issue         = {4},
  journal       = {Combinatorica},
  doi           = {10.1007/s00493-003-0042-z},
  url           = {https://doi.org/10.1007/s00493-003-0042-z}
}

@Book{            brodmannsharp13,
  author        = {Brodmann, M. P. and Sharp, R. Y.},
  title         = {Local cohomology},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {136},
  edition       = {Second},
  note          = {An algebraic introduction with geometric applications},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2013},
  pages         = {xxii+491},
  isbn          = {978-0-521-51363-0},
  mrclass       = {13D45 (13-01)}
}

@Article{         brown-1973,
  author        = {Brown, Kenneth S.},
  title         = {Abstract homotopy theory and generalized sheaf
                  cohomology},
  journal       = {Trans. Amer. Math. Soc.},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {186},
  year          = {1973},
  pages         = {419--458},
  issn          = {0002-9947,1088-6850},
  mrclass       = {55B30 (18H99)},
  mrnumber      = {341469},
  doi           = {10.2307/1996573},
  url           = {https://doi.org/10.2307/1996573}
}

@Article{         bruhnDiestelKriesselPendavinghWollan2013,
  author        = {Henning Bruhn and Reinhard Diestel and Matthias Kriesell
                  and Rudi Pendavingh and Paul Wollan},
  title         = {Axioms for infinite matroids},
  journal       = {Advances in Mathematics},
  volume        = {239},
  pages         = {18-46},
  year          = {2013},
  issn          = {0001-8708},
  doi           = {https://doi.org/10.1016/j.aim.2013.01.011},
  url           = {https://www.sciencedirect.com/science/article/pii/S0001870813000261}
}

@Article{         buzyakovaClopenBox,
  author        = {Buzyakova, Raushan Z.},
  title         = {On clopen sets in {C}artesian products},
  journal       = {Comment. Math. Univ. Carolin.},
  fjournal      = {Commentationes Mathematicae Universitatis Carolinae},
  volume        = {42},
  year          = {2001},
  number        = {2},
  pages         = {357--362},
  issn          = {0010-2628,1213-7243},
  mrclass       = {54B10 (54B15 54D20 55M10)},
  mrnumber      = {1832154}
}

@Book{            cabreragarciarodriguezpalacios2014,
  author        = {Miguel {Cabrera Garc\'ia} and \'Angel {Rodr\'iguez
                  Palacios}},
  title         = {{Non-associative normed algebras. Volume 1. The
                  Vidav-Palmer and Gelfand-Naimark theorems}},
  fjournal      = {{Encyclopedia of Mathematics and Its Applications}},
  journal       = {{Encycl. Math. Appl.}},
  issn          = {0953-4806},
  volume        = {154},
  isbn          = {978-1-107-04306-0; 978-1-107-33776-3},
  pages         = {xxii + 712},
  year          = {2014},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  doi           = {10.1017/CBO9781107337763},
  msc2010       = {46-02 17-02 46H70 46K70 46L70 17A15 17A80 17C65},
  zbl           = {1322.46003}
}

@Article{         cadiou1972,
  title         = {Recursive definitions of partial functions and their
                  computations},
  doi           = {10.1145/942580.807072},
  number        = {14},
  journal       = {ACM SIGACT News},
  author        = {Cadiou, Jean Marie Cadiou and Manna, Zohar},
  year          = {1972},
  month         = {Jan},
  pages         = {58–65}
}

@Book{            calugareanu,
  author        = {C\v{a}lug\v{a}reanu, Grigore},
  year          = {2000},
  month         = {01},
  pages         = {},
  title         = {Lattice Concepts of Module Theory},
  doi           = {10.1007/978-94-015-9588-9}
}

@Article{         caramello2020,
  title         = {Denseness conditions, morphisms and equivalences of
                  toposes},
  author        = {Olivia Caramello},
  year          = {2020},
  eprint        = {1906.08737},
  archiveprefix = {arXiv},
  primaryclass  = {math.CT},
  url           = {https://arxiv.org/abs/1906.08737}
}

@Article{         CARBONI1993145,
  author        = {Aurelio Carboni and Stephen Lack and R.F.C. Walters},
  doi           = {https://doi.org/10.1016/0022-4049(93)90035-R},
  issn          = {0022-4049},
  journal       = {Journal of Pure and Applied Algebra},
  number        = {2},
  pages         = {145-158},
  title         = {Introduction to extensive and distributive categories},
  url           = {https://www.sciencedirect.com/science/article/pii/002240499390035R},
  volume        = {84},
  year          = {1993},
  bdsk-url-1    = {https://www.sciencedirect.com/science/article/pii/002240499390035R},
  bdsk-url-2    = {https://doi.org/10.1016/0022-4049(93)90035-R}
}

@Misc{            carlen2010,
  author        = {Carlen, Eric A.},
  title         = {Trace inequalities and quantum entropy: An introductory
                  course},
  journal       = {Entropy and the quantum},
  year          = {2010},
  volume        = {529},
  pages         = {73--140}
}

@Article{         carneiro2015arithmetic,
  title         = {Arithmetic in Metamath, Case Study: Bertrand's Postulate},
  author        = {Carneiro, Mario},
  journal       = {arXiv preprint arXiv:1503.02349},
  year          = {2015}
}

@Misc{            carneiro2018matiyasevic,
  title         = {A {L}ean formalization of {M}atiyasevi{\v c}'s theorem},
  author        = {Mario Carneiro},
  year          = {2018},
  eprint        = {1802.01795},
  archiveprefix = {arXiv},
  primaryclass  = {math.LO}
}

@InProceedings{   carneiro2019,
  author        = {Mario M. Carneiro},
  editor        = {John Harrison and John O'Leary and Andrew Tolmach},
  title         = {Formalizing Computability Theory via Partial Recursive
                  Functions},
  booktitle     = {10th International Conference on Interactive Theorem
                  Proving, {ITP} 2019, September 9-12, 2019, Portland, OR,
                  {USA}},
  series        = {LIPIcs},
  volume        = {141},
  pages         = {12:1--12:17},
  publisher     = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year          = {2019},
  url           = {https://doi.org/10.4230/LIPIcs.ITP.2019.12},
  doi           = {10.4230/LIPIcs.ITP.2019.12},
  timestamp     = {Fri, 27 Sep 2019 15:57:06 +0200},
  biburl        = {https://dblp.org/rec/conf/itp/Carneiro19.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Book{            cartan-eilenberg-1956,
  author        = {Cartan, Henri and Eilenberg, Samuel},
  title         = {Homological algebra},
  publisher     = {Princeton University Press, Princeton, NJ},
  year          = {1956},
  pages         = {xv+390},
  mrclass       = {09.0X},
  mrnumber      = {77480}
}

@Book{            carter2005,
  author        = {Carter, R. W.},
  title         = {Lie algebras of finite and affine type},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {96},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2005},
  pages         = {xviii+632},
  isbn          = {978-0-521-85138-1; 0-521-85138-6},
  mrclass       = {17-02 (17B67)},
  mrnumber      = {2188930},
  mrreviewer    = {Stephen\ Slebarski},
  doi           = {10.1017/CBO9780511614910},
  url           = {https://doi.org/10.1017/CBO9780511614910}
}

@Article{         cassels1950,
  author        = {Cassels, J. W. S.},
  title         = {Some metrical theorems in {D}iophantine approximation.
                  {I}},
  journal       = {Proc. Cambridge Philos. Soc.},
  fjournal      = {Proceedings of the Cambridge Philosophical Society},
  volume        = {46},
  year          = {1950},
  pages         = {209--218},
  issn          = {0008-1981},
  mrclass       = {10.0X},
  mrnumber      = {36787},
  mrreviewer    = {P. Erd\H{o}s},
  doi           = {10.1017/s0305004100025676},
  url           = {https://doi.org/10.1017/s0305004100025676}
}

@Book{            cassels1967algebraic,
  title         = {Algebraic number theory},
  author        = {Cassels, John William Scott and Fr{\"o}hlich, Albrecht},
  booktitle     = {Proceedings of an instructional conference organized by
                  the {L}ondon {M}athematical {S}ociety (a {NATO} {A}dvanced
                  {S}tudy {I}nstitute) with the support of the
                  {I}nternational {M}athematical {U}nion},
  editor        = {Cassels, John William Scott and Fr\"{o}hlich, Albrecht},
  publisher     = {Academic Press, London; Thompson Book Co., Inc.,
                  Washington, D.C.},
  year          = {1967},
  pages         = {xviii+366},
  mrclass       = {00.04 (10.00)}
}

@Book{            cassels1986local,
  place         = {Cambridge},
  series        = {London Mathematical Society Student Texts},
  title         = {Local Fields},
  publisher     = {Cambridge University Press},
  author        = {Cassels, J. W. S.},
  year          = {1986},
  collection    = {London Mathematical Society Student Texts},
  doi           = {10.1017/CBO9781139171885}
}

@Article{         chapman1996,
  author        = {Chapman, Robin},
  title         = {A Polynomial Taking Integer Values},
  journal       = {Math. Mag.},
  fjournal      = {Mathematics Magazine},
  volume        = {69},
  year          = {1996},
  pages         = {121--121},
  number        = {2},
  publisher     = {Taylor & Francis, Ltd. on behalf of the Mathematical
                  Association of America}
}

@Article{         chapoton_livernet_2001,
  author        = {Chapoton, Fr{\'e}d{\'e}ric and Livernet, Muriel},
  title         = {Pre-Lie algebras and the rooted trees operad},
  fjournal      = {IMRN. International Mathematics Research Notices},
  journal       = {Int. Math. Res. Not.},
  issn          = {1073-7928},
  volume        = {2001},
  number        = {8},
  pages         = {395--408},
  year          = {2001},
  language      = {English},
  doi           = {10.1155/S1073792801000198},
  keywords      = {17A30,17B60,18D50,55P65,81T15},
  zbmath        = {1618753},
  zbl           = {1053.17001}
}

@Article{         Chen_Glebov_2018,
  author        = {Chen, Imin and Glebov, Gleb},
  title         = {On {C}hudnovsky--{R}amanujan type formulae},
  journal       = {Ramanujan J.},
  fjournal      = {The Ramanujan Journal. An International Journal Devoted to
                  the Areas of Mathematics Influenced by Ramanujan},
  volume        = {46},
  year          = {2018},
  number        = {3},
  pages         = {677--712},
  issn          = {1382-4090},
  mrclass       = {11F03 (11Y60 14H52 33C75)},
  mrnumber      = {3830044},
  doi           = {10.1007/s11139-017-9948-8},
  url           = {https://doi.org/10.1007/s11139-017-9948-8}
}

@Article{         chevalley_eilenberg_1948,
  author        = {Chevalley, Claude and Eilenberg, Samuel},
  title         = {Cohomology Theory of Lie Groups and Lie Algebras},
  journal       = {Trans. AMS},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {63},
  year          = {1948},
  number        = {1},
  pages         = {85-124},
  issn          = {0002-9947},
  mrclass       = {20.0X},
  mrnumber      = {0024908},
  doi           = {10.2307/1990637},
  url           = {http://www.jstor.org/stable/1990637?}
}

@Misc{            chintala2020,
  title         = {Sorry, the Nilpotents Are in the Center},
  author        = {Chintala, Vineeth},
  year          = {2020},
  month         = jun,
  number        = {arXiv:1805.11451},
  eprint        = {1805.11451},
  primaryclass  = {math},
  publisher     = {{arXiv}},
  doi           = {10.48550/arXiv.1805.11451},
  urldate       = {2023-12-13},
  archiveprefix = {arxiv},
  keywords      = {{16P10, 16U99},Mathematics - Rings and Algebras}
}

@Article{         cho_jacobs_2019,
  title         = {Disintegration and Bayesian inversion via string
                  diagrams},
  author        = {Cho, Kenta and Jacobs, Bart},
  journal       = {Mathematical Structures in Computer Science},
  volume        = {29},
  number        = {7},
  pages         = {938--971},
  year          = {2019},
  publisher     = {Cambridge University Press},
  doi           = {10.1017/S0960129518000488}
}

@InProceedings{   Chou1994,
  author        = {Chou, Ching-Tsun},
  booktitle     = {Higher Order Logic Theorem Proving and Its Applications},
  title         = {A formal theory of undirected graphs in higher-order
                  logic},
  year          = {1994},
  address       = {Berlin, Heidelberg},
  editor        = {Melham, Thomas F. and Camilleri, Juanito},
  pages         = {144--157},
  publisher     = {Springer Berlin Heidelberg},
  isbn          = {978-3-540-48803-3}
}

@Book{            chu2012,
  author        = {Cho-Ho {Chu}},
  title         = {{Jordan structures in geometry and analysis}},
  fjournal      = {{Cambridge Tracts in Mathematics}},
  journal       = {{Camb. Tracts Math.}},
  issn          = {0950-6284},
  volume        = {190},
  isbn          = {978-1-107-01617-0},
  pages         = {x + 261},
  year          = {2012},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  msc2010       = {17-02 17C65 17C37 46H70 53C35 46K70 32M15},
  zbl           = {1238.17001}
}

@InProceedings{   CL21,
  author        = {Commelin, Johan and Lewis, Robert Y.},
  title         = {Formalizing the Ring of Witt Vectors},
  year          = {2021},
  isbn          = {9781450382991},
  publisher     = {Association for Computing Machinery},
  address       = {New York, NY, USA},
  url           = {https://doi.org/10.1145/3437992.3439919},
  doi           = {10.1145/3437992.3439919},
  abstract      = {The ring of Witt vectors W R over a base ring R is an
                  important tool in algebraic number theory and lies at the
                  foundations of modern p-adic Hodge theory. W R has the
                  interesting property that it constructs a ring of
                  characteristic 0 out of a ring of characteristic p &gt; 1,
                  and it can be used more specifically to construct from a
                  finite field containing ℤ/pℤ the corresponding
                  unramified field extension of the p-adic numbers ℚp
                  (which is unique up to isomorphism). We formalize the
                  notion of a Witt vector in the Lean proof assistant, along
                  with the corresponding ring operations and other algebraic
                  structure. We prove in Lean that, for prime p, the ring of
                  Witt vectors over ℤ/pℤ is isomorphic to the ring of
                  p-adic integers ℤp. In the process we develop idioms to
                  cleanly handle calculations of identities between
                  operations on the ring of Witt vectors. These calculations
                  are intractable with a naive approach, and require a proof
                  technique that is usually skimmed over in the informal
                  literature. Our proofs resemble the informal arguments
                  while being fully rigorous.},
  booktitle     = {Proceedings of the 10th ACM SIGPLAN International
                  Conference on Certified Programs and Proofs},
  pages         = {264–277},
  numpages      = {14},
  keywords      = {ring theory, formal math, proof assistant, Lean, number
                  theory},
  location      = {Virtual, Denmark},
  series        = {CPP 2021}
}

@Book{            clark_gon,
  author        = {Pete L. Clark},
  title         = {Geometry of Numbers with Applications to Number Theory},
  url           = {http://alpha.math.uga.edu/~pete/geometryofnumbers.pdf}
}

@Article{         clifford1954,
  author        = {Clifford, A. H.},
  title         = {Note on {Hahn}'s theorem on ordered {Abelian} groups},
  fjournal      = {Proceedings of the American Mathematical Society},
  journal       = {Proc. Am. Math. Soc.},
  issn          = {0002-9939},
  volume        = {5},
  pages         = {860--863},
  year          = {1954},
  language      = {English},
  doi           = {10.2307/2032549},
  zbmath        = {3090187},
  zbl           = {0056.25503}
}

@Article{         cockett1993,
  author        = {J.R.B. Cockett},
  title         = {Introduction to Distributive Categories},
  journal       = {Mathematical Structures in Computer Science},
  volume        = {3},
  number        = {3},
  pages         = {277--307},
  year          = {1993},
  url           = {https://doi.org/10.1017/S0960129500000232},
  biburl        = {https://dblp.org/rec/journals/mscs/Cockett93.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Article{         cohen1950,
  author        = {I. S. Cohen},
  title         = {Commutative rings with restricted minimum condition},
  volume        = {17},
  journal       = {Duke Mathematical Journal},
  number        = {1},
  publisher     = {Duke University Press},
  pages         = {27 -- 42},
  year          = {1950},
  doi           = {10.1215/S0012-7094-50-01704-2},
  url           = {https://doi.org/10.1215/S0012-7094-50-01704-2}
}

@Article{         cohen2012,
  author        = {David A. Cohen and Martin C. Cooper and Páidí Creed and
                  Peter G. Jeavons and Stanislav Živný},
  title         = {An Algebraic Theory of Complexity for Discrete
                  Optimisation},
  journal       = {CoRR},
  volume        = {abs/1207.6692},
  year          = {2012},
  url           = {http://arxiv.org/abs/1207.6692},
  eprinttype    = {arXiv},
  eprint        = {1207.6692},
  timestamp     = {Mon, 03 Aug 2020 17:29:56 +0200},
  biburl        = {https://dblp.org/rec/journals/corr/abs-1207-6692.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Book{            cohn2013measure,
  address       = {New York, NY},
  series        = {Birkhäuser {Advanced} {Texts} {Basler} {Lehrbücher}},
  title         = {Measure {Theory}: {Second} {Edition}},
  copyright     = {https://www.springernature.com/gp/researchers/text-and-data-mining},
  isbn          = {9781461469551 9781461469568},
  shorttitle    = {Measure {Theory}},
  url           = {https://link.springer.com/10.1007/978-1-4614-6956-8},
  language      = {en},
  urldate       = {2025-02-15},
  publisher     = {Springer New York},
  author        = {Cohn, Donald L.},
  year          = {2013},
  doi           = {10.1007/978-1-4614-6956-8}
}

@Book{            cohn_1995,
  place         = {Cambridge},
  series        = {Encyclopedia of Mathematics and its Applications},
  title         = {Skew Fields: Theory of General Division Rings},
  doi           = {10.1017/CBO9781139087193},
  publisher     = {Cambridge University Press},
  author        = {Cohn, P. M.},
  year          = {1995},
  collection    = {Encyclopedia of Mathematics and its Applications}
}

@Article{         colmez2010,
  author        = {Colmez, Pierre},
  title         = {Fonctions d'une variable p-adique},
  journal       = {Asterisque},
  volume        = 330,
  pages         = {13--59},
  year          = 2010,
  url           = {http://www.numdam.org/article/AST_2010__330__13_0.pdf}
}

@Misc{            condelago2016shortproofsmoothimplies,
  title         = {A short proof of smooth implies flat},
  author        = {Jesús Conde-Lago},
  year          = {2016},
  eprint        = {1504.05709},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG},
  url           = {https://arxiv.org/abs/1504.05709}
}

@Book{            conrad2000,
  author        = {Conrad, Brian},
  title         = {Grothendieck duality and base change},
  series        = {Lecture Notes in Mathematics},
  volume        = {1750},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2000},
  pages         = {vi+296},
  isbn          = {3-540-41134-8},
  mrclass       = {14F05 (14A15 14F10 18E30)},
  mrnumber      = {1804902},
  mrreviewer    = {J\"{o}rg\ Jahnel},
  doi           = {10.1007/b75857},
  url           = {https://doi.org/10.1007/b75857}
}

@Misc{            ConradLinearChar,
  title         = {Linear Independence of Characters},
  author        = {Conrad, K.},
  eprint        = {https://kconrad.math.uconn.edu/blurbs/galoistheory/linearchar.pdf}
}

@Misc{            conradnumbfield,
  title         = {Ostrowski for number fields},
  author        = {Conrad, K.},
  eprint        = {https://kconrad.math.uconn.edu/blurbs/gradnumthy/ostrowskinumbfield.pdf}
}

@Misc{            conradQ,
  title         = {Ostrowski's Theorem for Q},
  author        = {Conrad, K.},
  eprint        = {https://kconrad.math.uconn.edu/blurbs/gradnumthy/ostrowskiQ.pdf}
}

@Book{            conway1990,
  author        = {Conway, John B.},
  title         = {A course in functional analysis.},
  edition       = {2nd ed.},
  fseries       = {Graduate Texts in Mathematics},
  series        = {Grad. Texts Math.},
  issn          = {0072-5285},
  volume        = {96},
  isbn          = {0-387-97245-5},
  year          = {1990},
  publisher     = {New York etc.: Springer-Verlag},
  language      = {English},
  keywords      = {46-02,47-02,47A53},
  zbmath        = {47995},
  zbl           = {0706.46003}
}

@Book{            conway2001,
  author        = {Conway, J. H.},
  title         = {On numbers and games},
  edition       = {Second},
  publisher     = {A K Peters, Ltd., Natick, MA},
  year          = {2001},
  pages         = {xii+242},
  isbn          = {1-56881-127-6},
  mrclass       = {00A08 (05-01 91A05)},
  mrnumber      = {1803095}
}

@Article{         Cousot1979,
  author        = {Cousot, P{.} and Cousot, R{.}},
  title         = {Constructive Versions of {T}arski's Fixed Point Theorems},
  journal       = {Pacific Journal of Mathematics},
  volume        = 81,
  number        = 1,
  pages         = {43--57},
  year          = 1979
}

@Book{            coxlittleoshea1997,
  author        = {David A. Cox and John Little and Donal O'Shea},
  title         = {Ideals, varieties, and algorithms - an introduction to
                  computational algebraic geometry and commutative algebra
                  {(2.} ed.)},
  series        = {Undergraduate texts in mathematics},
  publisher     = {Springer},
  year          = {1997},
  isbn          = {978-0-387-94680-1}
}

@Article{         crans2017,
  author        = {Crans, Alissa S. and Mukherjee, Sujoy and Przytycki,
                  J\'{o}zef H.},
  title         = {On homology of associative shelves},
  journal       = {J. Homotopy Relat. Struct.},
  fjournal      = {Journal of Homotopy and Related Structures},
  volume        = {12},
  year          = {2017},
  number        = {3},
  pages         = {741--763},
  issn          = {2193-8407},
  mrclass       = {18G60 (20M32 20N02 57M25)},
  mrnumber      = {3691304},
  mrreviewer    = {Mahender Singh},
  doi           = {10.1007/s40062-016-0164-9},
  url           = {https://doi.org/10.1007/s40062-016-0164-9}
}

@Book{            davey_priestley,
  author        = {Davey, B. A. and Priestley, H. A.},
  title         = {Introduction to lattices and order},
  edition       = {Second},
  publisher     = {Cambridge University Press, New York},
  year          = {2002},
  pages         = {xii+298},
  isbn          = {0-521-78451-4},
  mrclass       = {06-01 (68Q55)},
  mrnumber      = {1902334},
  mrreviewer    = {T. S. Blyth},
  doi           = {10.1017/CBO9780511809088},
  url           = {https://doi.org/10.1017/CBO9780511809088}
}

@Article{         day1972,
  author        = {Day, Brian},
  title         = {A reflection theorem for closed categories},
  journal       = {J. Pure Appl. Algebra},
  fjournal      = {Journal of Pure and Applied Algebra},
  volume        = {2},
  year          = {1972},
  number        = {1},
  pages         = {1--11},
  issn          = {0022-4049},
  doi           = {10.1016/0022-4049(72)90021-7},
  url           = {https://doi.org/10.1016/0022-4049(72)90021-7}
}

@InProceedings{   deligne_formulaire,
  author        = {Deligne, P.},
  title         = {Courbes elliptiques: formulaire d'apr\`es {J}. {T}ate},
  booktitle     = {Modular functions of one variable, {IV} ({P}roc.
                  {I}nternat. {S}ummer {S}chool, {U}niv. {A}ntwerp,
                  {A}ntwerp, 1972)},
  pages         = {53--73. Lecture Notes in Math., Vol. 476},
  year          = {1975},
  mrclass       = {14K15 (10D05)},
  mrnumber      = {0387292},
  mrreviewer    = {Jacques Velu}
}

@InProceedings{   demazure1970,
  author        = {Michel Demazure},
  editor        = {M. Demazure, A. Grothendieck},
  title         = {Expos\'{e} XXI, Donn\'{e}es Radicielles},
  booktitle     = {S\'{e}minaire de G\'{e}ométrie Alg\'{e}brique du Bois
                  Marie - 1962-64 - Sch\'{e}mas en groupes - (SGA 3) - vol.
                  3, Structure des Sch\'{e}mas en Groupes Reductifs},
  series        = {Lecture Notes in Mathematics},
  volume        = {153},
  pages         = {85--155},
  publisher     = {Springer-Verlag},
  year          = {1970},
  url           = {https://wstein.org/sga/SGA3/Expo21-alpha.pdf}
}

@Article{         demillo_lipton_1978,
  author        = {DeMillo, Richard A. and Lipton, Richard J.},
  title         = {A probabilistic remark on algebraic program testing},
  journal       = {Information Processing Letters},
  volume        = {7},
  number        = {4},
  pages         = {193--195},
  year          = {1978},
  doi           = {10.1016/0020-0190(78)90067-4}
}

@InProceedings{   demoura2015lean,
  author        = {de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and
                  van Doorn, Floris and von Raumer, Jakob},
  editor        = {Felty, Amy P. and Middeldorp, Aart},
  title         = {The Lean Theorem Prover (System Description)},
  booktitle     = {Automated Deduction - CADE-25},
  year          = {2015},
  publisher     = {Springer International Publishing},
  address       = {Cham},
  pages         = {378--388},
  isbn          = {978-3-319-21401-6}
}

@Article{         dialectica1989,
  author        = {De Paiva, Valeria},
  title         = {The Dialectica categories},
  year          = {1989},
  month         = {01},
  pages         = {},
  isbn          = {9780821851005},
  doi           = {10.1090/conm/092/1003194},
  url           = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf}
}

@Book{            diamondshurman2005,
  author        = {Diamond, Fred and Shurman, Jerry},
  title         = {A first course in modular forms},
  fseries       = {Graduate Texts in Mathematics},
  series        = {Grad. Texts Math.},
  issn          = {0072-5285},
  volume        = {228},
  isbn          = {0-387-23229-X},
  year          = {2005},
  publisher     = {Berlin: Springer},
  language      = {English},
  keywords      = {11F11,11-01,11F25,11F80,11G18,11G40,11D41},
  zbmath        = {2134201},
  zbl           = {1062.11022}
}

@Article{         dieudonne1953,
  author        = {Dieudonn\'{e}, Jean},
  title         = {On semi-simple {L}ie algebras},
  journal       = {Proc. Amer. Math. Soc.},
  fjournal      = {Proceedings of the American Mathematical Society},
  volume        = {4},
  year          = {1953},
  pages         = {931--932},
  issn          = {0002-9939},
  mrclass       = {09.1X},
  mrnumber      = {59262},
  doi           = {10.2307/2031832},
  url           = {https://doi.org/10.2307/2031832}
}

@Article{         djokovic1973,
  author        = {Djokovi\'{c}, D. \v{Z}.},
  title         = {Epimorphisms of modules which must be isomorphisms},
  journal       = {Canad. Math. Bull.},
  fjournal      = {Canadian Mathematical Bulletin. Bulletin Canadien de
                  Math\'{e}matiques},
  volume        = {16},
  year          = {1973},
  pages         = {513--515},
  issn          = {0008-4395,1496-4287},
  mrclass       = {16A64},
  mrnumber      = {346014},
  mrreviewer    = {M.\ Teply},
  doi           = {10.4153/CMB-1973-083-0},
  url           = {https://doi.org/10.4153/CMB-1973-083-0}
}

@Article{         dolan1976,
  title         = {A {{Proof}} of {{Jacobson}}'s {{Theorem}}},
  author        = {Dolan, S. W.},
  year          = {1976},
  month         = mar,
  journal       = {Canadian Mathematical Bulletin},
  volume        = {19},
  number        = {1},
  pages         = {59--61},
  issn          = {0008-4395, 1496-4287},
  doi           = {10.4153/CMB-1976-007-9},
  urldate       = {2023-12-13},
  langid        = {english}
}

@Article{         dold1958,
  author        = {Dold, Albrecht},
  title         = {Homology of symmetric products and other functors of
                  complexes},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {68},
  year          = {1958},
  pages         = {54--80},
  issn          = {0003-486X},
  mrclass       = {55.00},
  mrnumber      = {97057},
  mrreviewer    = {Sze-tsen Hu},
  doi           = {10.2307/1970043}
}

@InProceedings{   doubilet_rota_stanley_vi,
  author        = {Doubilet, Peter and Rota, Gian-Carlo and Stanley,
                  Richard},
  title         = {On the foundations of combinatorial theory. {VI}. {T}he
                  idea of generating function},
  booktitle     = {Proceedings of the {S}ixth {B}erkeley {S}ymposium on
                  {M}athematical {S}tatistics and {P}robability ({U}niv.
                  {C}alifornia, {B}erkeley, {C}alif., 1970/1971), {V}ol.
                  {II}: {P}robability theory},
  pages         = {267--318},
  publisher     = {Univ. California Press, Berkeley, CA},
  year          = {1972},
  mrclass       = {05A15},
  mrnumber      = {403987},
  mrreviewer    = {A.\ G.\ Law}
}

@Misc{            dupuis-lewis-macbeth2022,
  title         = {Formalized functional analysis with semilinear maps},
  author        = {Frédéric Dupuis and Robert Y. Lewis and Heather
                  Macbeth},
  year          = {2022},
  eprint        = {2202.05360},
  archiveprefix = {arXiv},
  primaryclass  = {cs.LO}
}

@Article{         dyckhoff_1992,
  author        = {Dyckhoff, Roy},
  title         = {Contraction-free sequent calculi for intuitionistic
                  logic},
  journal       = {Journal of Symbolic Logic},
  number        = {3},
  year          = {1992},
  pages         = {795–807},
  volume        = {57},
  publisher     = {Cambridge University Press},
  doi           = {10.2307/2275431}
}

@Article{         Echenique2005,
  author        = {Echenique, Federico},
  title         = {A short and constructive proof of Tarski’s fixed-point
                  theorem},
  journal       = {International Journal of Game Theory},
  volume        = {33},
  number        = {2},
  year          = {2005},
  pages         = {215–218},
  publisher     = {Springer},
  doi           = {10.1007/s001820400192}
}

@Article{         ega-iv-1,
  author        = {Grothendieck, A.},
  title         = {{\'E}l{\'e}ments de g{\'e}om{\'e}trie alg{\'e}brique.
                  {IV}: {\'E}tude locale des sch{\'e}mas et des morphismes de
                  sch{\'e}mas. ({Premi{\`e}re} partie). {R{\'e}dig{\'e}} avec
                  la colloboration de {J}. {Dieudonn{\'e}}},
  fjournal      = {Publications Math{\'e}matiques},
  journal       = {Publ. Math., Inst. Hautes {\'E}tud. Sci.},
  issn          = {0073-8301},
  volume        = {20},
  pages         = {101--355},
  year          = {1964},
  language      = {French},
  doi           = {10.1007/BF02684747},
  keywords      = {14-02,14Axx},
  zbmath        = {3220890},
  zbl           = {0136.15901}
}

@Book{            egno15,
  author        = {Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and
                  Ostrik, Victor},
  title         = {Tensor Categories},
  publisher     = {American Mathematical Society (AMS), Providence, RI},
  year          = 2015,
  pages         = {xvi+343},
  isbn          = {978-1-4704-3441-0}
}

@Article{         eilenberg1969,
  title         = {Rational sets in commutative monoids},
  author        = {Eilenberg, Samuel and Sch{\"u}tzenberger, Marcel-Paul},
  journal       = {J. Algebra},
  volume        = {13},
  number        = {2},
  pages         = {173--191},
  year          = {1969}
}

@Book{            EinsiedlerWard2017,
  author        = {Einsiedler, Manfred and Ward, Thomas},
  title         = {Functional Analysis, Spectral Theory, and Applications},
  year          = 2017,
  publisher     = {Springer},
  doi           = {10.1007/978-3-319-58540-6}
}

@Book{            Eisenbud1995,
  title         = "Commutative algebra",
  author        = "Eisenbud, David",
  publisher     = "Springer",
  series        = "Graduate Texts in Mathematics",
  month         = mar,
  year          = 1995,
  address       = "New York, NY",
  language      = "en",
  isbn          = {978-0-387-94268-1},
  doi           = {10.1007/978-1-4612-5350-1}
}

@Book{            Elephant,
  title         = {Sketches of an Elephant – A Topos Theory Compendium},
  author        = {Peter Johnstone},
  year          = {2002},
  publisher     = {Oxford University Press}
}

@Article{         elliott2006binomial,
  author        = {Elliott, Jesse},
  title         = {Binomial rings, integer-valued polynomials, and λ-rings},
  journal       = {Journal of Pure and Applied Algebra},
  number        = {1},
  year          = {2006},
  pages         = {165–185},
  volume        = {207},
  publisher     = {Elsevier},
  doi           = {10.1016/j.jpaa.2005.09.003}
}

@Book{            engel1997,
  title         = {Sperner theory},
  author        = {Engel, Konrad},
  publisher     = {Cambridge University Press},
  place         = {Cambridge},
  year          = {1997}
}

@Book{            engelking1989,
  title         = {General topology},
  author        = {Engelking, Ryszard},
  series        = {Sigma Series in Pure Mathematics},
  volume        = {6},
  edition       = {Second},
  note          = {Translated from the Polish by the author},
  publisher     = {Heldermann Verlag, Berlin},
  year          = {1989},
  pages         = {viii+529},
  isbn          = {3-88538-006-4},
  mrclass       = {54-01 (54-02)},
  mrnumber      = {1039321},
  mrreviewer    = {Gary\ Gruenhage}
}

@Article{         erdosrenyisos,
  author        = {P. Erd\"os and A. R\'enyi and V. S\'os},
  title         = {On a problem of graph theory},
  journal       = {Studia Sci. Math.},
  number        = {1},
  year          = {1966},
  pages         = {215--235},
  url           = {https://www.renyi.hu/~p_erdos/1966-06.pdf}
}

@Article{         escardo-lawson-simpson-2004,
  author        = {Escard\'o, Mart\'in and Lawson, Jimmie and Simpson, Alex},
  title         = {Comparing {C}artesian closed categories of (core)
                  compactly generated spaces},
  journal       = {Topology Appl.},
  fjournal      = {Topology and its Applications},
  volume        = {143},
  year          = {2004},
  number        = {1-3},
  pages         = {105--145},
  issn          = {0166-8641,1879-3207},
  mrclass       = {54D50 (18B30 54B30 54C35 54D55)},
  mrnumber      = {2080286},
  doi           = {10.1016/j.topol.2004.02.011},
  url           = {https://doi.org/10.1016/j.topol.2004.02.011}
}

@Article{         etemadi_strong_law,
  author        = {Etemadi, Nasrollah},
  title         = {An elementary proof of the strong law of large numbers},
  journal       = {Z. Wahrsch. Verw. Gebiete},
  fjournal      = {Zeitschrift f\"{u}r Wahrscheinlichkeitstheorie und
                  Verwandte Gebiete},
  volume        = {55},
  year          = {1981},
  number        = {1},
  pages         = {119--122},
  issn          = {0044-3719},
  mrclass       = {60F15 (60B12)},
  mrnumber      = {606010},
  mrreviewer    = {Robert L. Taylor},
  doi           = {10.1007/BF01013465},
  url           = {https://doi.org/10.1007/BF01013465}
}

@Book{            Federer1996,
  author        = {Herbert Federer},
  title         = {Geometric Measure Theory},
  series        = {Classics in Mathematics},
  year          = {1996},
  publisher     = {Springer-Verlag Berlin Heidelberg},
  issn          = {1431-0821},
  doi           = {10.1007/978-3-642-62010-2},
  numpages      = {677}
}

@Article{         FennRourke1992,
  author        = {Fenn, Roger and Rourke, Colin},
  journal       = {Journal of Knot Theory and its Ramifications},
  title         = {Racks and links in codimension two},
  year          = {1992},
  issn          = {0218-2165},
  number        = {4},
  pages         = {343--406},
  volume        = {1},
  doi           = {10.1142/S0218216592000203},
  keywords      = {57M25 (57N10)},
  mrnumber      = {1194995}
}

@Article{         fernique1970integrabilite,
  author        = {Fernique, Xavier},
  title         = {Int{\'e}grabilit{\'e} des vecteurs gaussiens},
  journal       = {CR Acad. Sci. Paris S$\backslash$'$\{$e$\}$ r. AB},
  volume        = {270},
  pages         = {A1698--A1699},
  year          = {1970}
}

@Article{         Fields1971,
  author        = {Fields, David E.},
  title         = {Zero divisors and nilpotent elements in power series
                  rings},
  year          = {1971},
  journal       = {Proceedings of the American Mathematical Society},
  volume        = {27},
  number        = {3},
  pages         = {427–433},
  issn          = {0002-9939, 1088-6826},
  doi           = {10.1090/S0002-9939-1971-0271100-6}
}

@InProceedings{   flypitch_cpp,
  doi           = {10.1145/3372885.3373826},
  url           = {https://doi.org/10.1145/3372885.3373826},
  year          = {2020},
  month         = jan,
  publisher     = {{ACM}},
  author        = {Jesse Michael Han and Floris van Doorn},
  title         = {A formal proof of the independence of the continuum
                  hypothesis},
  booktitle     = {Proceedings of the 9th {ACM} {SIGPLAN} International
                  Conference on Certified Programs and Proofs}
}

@InProceedings{   flypitch_itp,
  author        = {Jesse Michael Han and Floris van Doorn},
  title         = {{A Formalization of Forcing and the Unprovability of the
                  Continuum Hypothesis}},
  booktitle     = {10th International Conference on Interactive Theorem
                  Proving (ITP 2019)},
  pages         = {19:1--19:19},
  series        = {Leibniz International Proceedings in Informatics
                  (LIPIcs)},
  isbn          = {978-3-95977-122-1},
  issn          = {1868-8969},
  year          = {2019},
  volume        = {141},
  editor        = {John Harrison and John O'Leary and Andrew Tolmach},
  publisher     = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address       = {Dagstuhl, Germany},
  url           = {http://drops.dagstuhl.de/opus/volltexte/2019/11074},
  urn           = {urn:nbn:de:0030-drops-110742},
  doi           = {10.4230/LIPIcs.ITP.2019.19},
  annote        = {Keywords: Interactive theorem proving, formal
                  verification, set theory, forcing, independence proofs,
                  continuum hypothesis, Boolean-valued models, Lean}
}

@Article{         fontaine1982certains,
  issn          = {0003486X, 19398980},
  url           = {http://www.jstor.org/stable/2007012},
  author        = {Jean-Marc Fontaine},
  journal       = {Annals of Mathematics},
  number        = {3},
  pages         = {529--577},
  publisher     = {[Annals of Mathematics, Trustees of Princeton University
                  on Behalf of the Annals of Mathematics, Mathematics
                  Department, Princeton University]},
  title         = {Sur Certains Types de Représentations p-Adiques du Groupe
                  de Galois d'un Corps Local; Construction d'un Anneau de
                  Barsotti-Tate},
  urldate       = {2025-11-29},
  volume        = {115},
  year          = {1982}
}

@InCollection{    fontaine1994corps,
  author        = {Fontaine, Jean-Marc},
  title         = {Expos\'e {II~:} {Le} corps des p\'eriodes $p$-adiques},
  booktitle     = {P\'eriodes $p$-adiques - S\'eminaire de Bures, 1988},
  editor        = {Fontaine, Jean-Marc},
  series        = {Ast\'erisque},
  note          = {talk:2},
  pages         = {59--101},
  year          = {1994},
  publisher     = {Soci\'et\'e math\'ematique de France},
  number        = {223},
  mrnumber      = {1293971},
  zbl           = {0940.14012},
  language      = {fr},
  url           = {https://www.numdam.org/item/AST_1994__223__59_0/}
}

@Book{            fremlin_vol2,
  author        = {Fremlin, David H.},
  title         = {Measure theory. {V}ol. 2},
  note          = {Broad foundations, 2010 edition},
  publisher     = {Torres Fremlin, Colchester},
  year          = {2010},
  isbn          = {0-9538129-2-8}
}

@Book{            fremlin_vol4,
  author        = {Fremlin, David H.},
  title         = {Measure theory. {V}ol. 4},
  note          = {Topological Measure Spaces},
  publisher     = {Torres Fremlin, Colchester},
  year          = {2003}
}

@Article{         frenkel1957,
  author        = {Frenkel, Jean},
  title         = {Cohomologie non ab\'{e}lienne et espaces fibr\'{e}s},
  journal       = {Bull. Soc. Math. France},
  fjournal      = {Bulletin de la Soci\'{e}t\'{e} Math\'{e}matique de France},
  volume        = {85},
  year          = {1957},
  pages         = {135--220},
  issn          = {0037-9484},
  mrclass       = {32.00},
  mrnumber      = {98200},
  url           = {http://www.numdam.org/item?id=BSMF_1957__85__135_0}
}

@Book{            freyd1964abelian,
  title         = {Abelian categories},
  author        = {Freyd, Peter J},
  series        = {Harper's Series in Modern Mathematics},
  year          = {1964},
  publisher     = {Harper \& Row New York}
}

@Book{            friedmanscarr2005,
  author        = {Yaakov {Friedman}},
  title         = {{Physical applications of homogeneous balls. With the
                  assistance of Tzvi Scarr}},
  fjournal      = {{Progress in Mathematical Physics}},
  journal       = {{Prog. Math. Phys.}},
  issn          = {1544-9998},
  volume        = {40},
  isbn          = {0-8176-3339-1},
  pages         = {xxiv + 279},
  year          = {2005},
  publisher     = {Boston, MA: Birkh\"auser},
  language      = {English},
  msc2010       = {46-02 17C65 46L60 46G20 46L70 83A05},
  zbl           = {1080.46001}
}

@Book{            fritsch-piccinini1990,
  place         = {Cambridge},
  series        = {Cambridge Studies in Advanced Mathematics},
  title         = {Cellular Structures in Topology},
  publisher     = {Cambridge University Press},
  author        = {Fritsch, Rudolf and Piccinini, Renzo},
  year          = {1990},
  collection    = {Cambridge Studies in Advanced Mathematics},
  url           = {https://doi.org/10.1017/CBO9780511983948},
  doi           = {10.1017/CBO9780511983948}
}

@Article{         fritz2020,
  title         = {A synthetic approach to Markov kernels, conditional
                  independence and theorems on sufficient statistics},
  journal       = {Advances in Mathematics},
  volume        = {370},
  pages         = {107239},
  year          = {2020},
  issn          = {0001-8708},
  doi           = {10.1016/j.aim.2020.107239},
  url           = {https://www.sciencedirect.com/science/article/pii/S0001870820302656},
  author        = {Fritz, Tobias}
}

@Book{            fuchs1963,
  author        = {Fuchs, L.},
  title         = {Partially ordered algebraic systems},
  publisher     = {Pergamon Press, Oxford-London-New York-Paris;
                  Addison-Wesley Publishing Co., Inc., Reading, Mass.-Palo
                  Alto, Calif.-London},
  year          = {1963},
  pages         = {ix+229},
  mrclass       = {06.00 (20.00)},
  mrnumber      = {0171864},
  mrreviewer    = {P. F. Conrad}
}

@InProceedings{   fuerer-lochbihler-schneider-traytel2020,
  author        = {Basil F{\"{u}}rer and Andreas Lochbihler and Joshua
                  Schneider and Dmitriy Traytel},
  editor        = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans},
  title         = {Quotients of Bounded Natural Functors},
  booktitle     = {Automated Reasoning - 10th International Joint Conference,
                  {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings,
                  Part {II}},
  series        = {Lecture Notes in Computer Science},
  volume        = {12167},
  pages         = {58--78},
  publisher     = {Springer},
  year          = {2020},
  url           = {https://doi.org/10.1007/978-3-030-51054-1_4},
  doi           = {10.1007/978-3-030-51054-1_4},
  timestamp     = {Mon, 06 Jul 2020 09:05:32 +0200},
  biburl        = {https://dblp.org/rec/conf/cade/FurerLST20.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Book{            fulton2004,
  title         = {Representation theory: a first course},
  author        = {Fulton, William and Harris, Joe},
  year          = {2004},
  publisher     = {Springer}
}

@Article{         furedi-loeb1994,
  author        = {Zolt\'an {F\"uredi} and Peter A. {Loeb}},
  journal       = {{Proc. Am. Math. Soc.}},
  title         = {{On the best constant for the Besicovitch covering
                  theorem}},
  year          = {1994},
  issn          = {0002-9939},
  number        = {4},
  pages         = {1063--1073},
  volume        = {121},
  doi           = {10.2307/2161215},
  fjournal      = {{Proceedings of the American Mathematical Society}},
  language      = {English},
  msc2010       = {28A75 05B40 51M16},
  publisher     = {American Mathematical Society (AMS), Providence, RI},
  zbl           = {0802.28002}
}

@Book{            gabriel-zisman-1967,
  author        = {Gabriel, P. and Zisman, M.},
  title         = {Calculus of fractions and homotopy theory},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band
                  35},
  publisher     = {Springer-Verlag New York, Inc., New York},
  year          = {1967},
  pages         = {x+168}
}

@Article{         Gallagher1961,
  author        = {Gallagher, Patrick},
  title         = {Approximation by reduced fractions},
  journal       = {J. Math. Soc. Japan},
  fjournal      = {Journal of the Mathematical Society of Japan},
  volume        = {13},
  year          = {1961},
  pages         = {342--345},
  issn          = {0025-5645},
  mrclass       = {10.30},
  mrnumber      = {133297},
  mrreviewer    = {J. W. S. Cassels},
  doi           = {10.2969/jmsj/01340342},
  url           = {https://doi.org/10.2969/jmsj/01340342}
}

@InProceedings{   Gallier2011Notes,
  title         = {Notes on Differential Geometry and Lie Groups},
  author        = {J. Gallier and J. Quaintance},
  year          = {2011},
  url           = {https://www.cis.upenn.edu/~cis610/diffgeom-n.pdf}
}

@Unpublished{     gartnerMatousek,
  title         = {Cone Programming},
  author        = {B. G{\"{a}}rtner and J. Matousek},
  url           = {https://ti.inf.ethz.ch/ew/lehre/ApproxSDP09/notes/conelp.pdf}
}

@Article{         Geck2017,
  author        = {Geck, Meinolf},
  title         = {On the construction of semisimple {L}ie algebras and
                  {C}hevalley groups},
  journal       = {Proc. Amer. Math. Soc.},
  fjournal      = {Proceedings of the American Mathematical Society},
  volume        = {145},
  year          = {2017},
  number        = {8},
  pages         = {3233--3247},
  issn          = {0002-9939},
  mrclass       = {17B20 (17B22)},
  mrnumber      = {3652779},
  doi           = {10.1090/proc/13600},
  url           = {https://doi.org/10.1090/proc/13600}
}

@Article{         ghys87:groupes,
  author        = {Étienne Ghys},
  title         = {Groupes d'homéomorphismes du cercle et cohomologie
                  bornée},
  journal       = {Contemporary Mathematics},
  year          = 1987,
  volume        = 58,
  number        = {III},
  pages         = {81-106},
  doi           = {10.1090/conm/058.3/893858},
  language      = {french}
}

@Article{         gibbons2009,
  title         = {The essence of the Iterator pattern},
  volume        = {19},
  issn          = {0956-7968, 1469-7653},
  url           = {https://www.cambridge.org/core/product/identifier/S0956796809007291/type/journal_article},
  doi           = {10.1017/S0956796809007291},
  language      = {en},
  number        = {3-4},
  urldate       = {2021-10-24},
  journal       = {Journal of Functional Programming},
  author        = {Gibbons, Jeremy and Oliveira, BRUNO C. d. S.},
  month         = jul,
  year          = {2009},
  pages         = {377--402}
}

@Book{            GierzEtAl1980,
  author        = {Gierz, Gerhard and Hofmann, Karl Heinrich and Keimel,
                  Klaus and Lawson, Jimmie D. and Mislove, Michael W. and
                  Scott, Dana S.},
  title         = {A compendium of continuous lattices},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1980},
  pages         = {xx+371},
  isbn          = {3-540-10111-X},
  mrclass       = {06B30 (03G10 30G30 54H12)},
  mrnumber      = {614752},
  mrreviewer    = {James W. Lea, Jr.}
}

@Article{         ginsburg1964,
  title         = {Bounded ALGOL-like languages},
  author        = {Ginsburg, Seymour and Spanier, Edwin H},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {113},
  number        = {2},
  pages         = {333--368},
  year          = {1964},
  publisher     = {JSTOR}
}

@Book{            giraud1971,
  author        = {Giraud, Jean},
  title         = {Cohomologie non ab\'elienne},
  series        = {Die Grundlehren der mathematischen Wissenschaften},
  volume        = {Band 179},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1971},
  pages         = {ix+467},
  mrclass       = {14F20 (14L99 18D30 18F20 55B99 55F65)},
  mrnumber      = {344253}
}

@Article{         gleason1958,
  author        = {Gleason, Andrew M.},
  title         = {Projective topological spaces},
  journal       = {Illinois J. Math.},
  fjournal      = {Illinois Journal of Mathematics},
  volume        = {2},
  year          = {1958},
  pages         = {482--489},
  issn          = {0019-2082},
  mrclass       = {54.00},
  mrnumber      = {121775},
  mrreviewer    = {Dana Scott},
  url           = {http://projecteuclid.org/euclid.ijm/1255454110}
}

@Book{            goerss-jardine-2009,
  author        = {Goerss, Paul G. and Jardine, John F.},
  title         = {Simplicial homotopy theory},
  series        = {Modern Birkh\"{a}user Classics},
  note          = {Reprint of the 1999 edition [MR1711612]},
  publisher     = {Birkh\"{a}user Verlag, Basel},
  year          = {2009},
  pages         = {xvi+510},
  isbn          = {978-3-0346-0188-7},
  mrclass       = {55U10 (18G55)},
  mrnumber      = {2840650},
  doi           = {10.1007/978-3-0346-0189-4}
}

@Book{            Gordon55,
  author        = {Russel A. Gordon},
  title         = {The integrals of Lebesgue, Denjoy, Perron, and Henstock},
  isbn          = {0-8218-3805-9},
  year          = {1955},
  series        = {Graduate Studies in Mathematics},
  volume        = 4,
  publisher     = {American Mathematical Society, Providence, R.I}
}

@Book{            gouvea1997,
  author        = {Gouv\^{e}a, Fernando Q.},
  title         = {{$p$}-adic numbers},
  series        = {Universitext},
  edition       = {Second},
  note          = {An introduction},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1997},
  pages         = {vi+298},
  isbn          = {3-540-62911-4},
  mrclass       = {11S80 (11-01 12J25)},
  mrnumber      = {1488696},
  doi           = {10.1007/978-3-642-59058-0},
  url           = {https://doi.org/10.1007/978-3-642-59058-0}
}

@Book{            Graetzer2003,
  author        = {Gr{\"a}tzer, George},
  title         = {General lattice theory. {With} appendices with {B}. {A}.
                  {Davey}, {R}. {Freese}, {B}. {Ganter}, {M}. {Greferath},
                  {P}. {Jipsen}, {H}. {A}. {Priestley}, {H}. {Rose}, {E}.
                  {T}. {Schmidt}, {S}. {E}. {Schmidt}, {F}. {Wehrung} and
                  {R}. {Wille}},
  edition       = {Paperback reprint of the 1998 2nd edition},
  isbn          = {978-3-7643-6996-5},
  year          = {2003},
  publisher     = {Basel: Birkh{\"a}user},
  language      = {English},
  keywords      = {06-02,06Bxx,06Cxx,06Dxx,06Exx},
  zbmath        = {5488086},
  zbl           = {1152.06300}
}

@InBook{          Graham1983,
  author        = "Graham, R. L.",
  editor        = "Bachem, Achim and Korte, Bernhard and Grötschel, Martin",
  title         = "Applications of the FKG Inequality and Its Relatives",
  booktitle     = "Mathematical Programming The State of the Art: Bonn 1982",
  year          = "1983",
  publisher     = "Springer Berlin Heidelberg",
  address       = "Berlin, Heidelberg",
  pages         = "115--131",
  abstract      = "In 1971, C. M. Fortuin, P. W. Kasteleyn and J. Ginibre
                  [FKG] published a remarkable inequality relating certain
                  real functions defined on a finite distributive lattice.
                  This inequality, now generally known as the FKG inequality,
                  arose in connection with these authors' investigations into
                  correlation properties of Ising ferromagnet spin systems
                  and generalized earlier results of Griffiths [Gri] and
                  Harris [Har] (who was studying percolation models). The FKG
                  inequality in turn has stimulated further research in a
                  number of directions, including a variety of interesting
                  generalizations and applications, particularly to
                  statistics, computer science and the theory of partially
                  ordered sets. It turns out that special cases of the FKG
                  inequality can be found in the literature of at least a
                  half dozen different fields, and in some sense can be
                  traced all the way back to work of Chebyshev.",
  isbn          = "978-3-642-68874-4",
  doi           = "10.1007/978-3-642-68874-4_6",
  url           = "https://doi.org/10.1007/978-3-642-68874-4_6"
}

@Book{            Gratzer2011,
  author        = {Gr{\"a}tzer, George},
  title         = {Lattice Theory: Foundation},
  year          = {2011},
  publisher     = {Springer, Basel},
  pages         = {xxx+614},
  isbn          = {978-3-0348-0018-1},
  doi           = {10.1007/978-3-0348-0018-1},
  mrnumber      = {2768581}
}

@Article{         Grillet-1969a,
  author        = {Grillet, Pierre-Antoine},
  title         = {The Tensor Product of Semigroups},
  year          = {1969},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {138},
  pages         = {267--280},
  issn          = {0002-9947, 1088-6850},
  doi           = {10.1090/S0002-9947-1969-0237687-X}
}

@Article{         Grillet-1969b,
  author        = {Grillet, Pierre-Antoine},
  title         = {The Tensor Product of Commutative Semigroups},
  year          = {1969},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {138},
  pages         = {281--293},
  issn          = {0002-9947, 1088-6850},
  doi           = {10.1090/S0002-9947-1969-0237688-1}
}

@Unpublished{     grinberg_clifford_2016,
  title         = {The {Clifford} algebra and the {Chevalley} map- a
                  computational approach (summary version 1)},
  url           = {http://mit.edu/~darij/www/algebra/chevalleys.pdf},
  author        = {Grinberg, D.},
  month         = jun,
  year          = {2016}
}

@Article{         grothendieck-1957,
  author        = {Grothendieck, Alexander},
  title         = {Sur quelques points d'alg\`ebre homologique},
  journal       = {Tohoku Math. J. (2)},
  fjournal      = {The Tohoku Mathematical Journal. Second Series},
  volume        = {9},
  year          = {1957},
  pages         = {119--221},
  issn          = {0040-8735,2186-585X},
  mrclass       = {18.00},
  mrnumber      = {102537},
  doi           = {10.2748/tmj/1178244839},
  url           = {https://doi.org/10.2748/tmj/1178244839}
}

@Article{         grothendieck-1971,
  author        = {Grothendieck, Alexander and Dieudonn\'{e}, Jean},
  title         = {\'{E}l\'{e}ments de g\'{e}om\'{e}trie alg\'{e}brique: I.
                  Le langage des sch\'{e}mas},
  journal       = {Grundlehren der Mathematischen Wissenschaften},
  volume        = {166},
  year          = {1971},
  publisher     = {Springer-Verlag New York},
  isbn          = {978-3-540-05113-8}
}

@Article{         Guitart1980,
  author        = {Guitart, Ren\'{e}},
  tilte         = {Relations et carr\'{e}s exacts},
  journal       = {Ann. Sci. Math. Qu\'{e}bec},
  fjournal      = {Annales des Sciences Math\'{e}matiques du Qu\'{e}bec},
  volume        = {4},
  year          = {1980},
  number        = {2},
  pages         = {103--125},
  issn          = {0707-9109},
  mrclass       = {18A99 (18D99 18E99)},
  mrnumber      = {599050},
  mrreviewer    = {Marta\ C.\ Bunge}
}

@Book{            gunter1992,
  title         = {Semantics of Programming Languages: Structures and
                  Techniques},
  isbn          = {0262570955},
  publisher     = {MIT Press},
  author        = {Gunter, Carl A.},
  year          = {1992}
}

@Article{         Gusakov2021,
  author        = {Alena Gusakov and Bhavik Mehta and Kyle A. Miller},
  title         = {Formalizing Hall's Marriage Theorem in Lean},
  eprint        = {2101.00127},
  eprintclass   = {math.CO},
  eprinttype    = {arXiv},
  keywords      = {math.CO, cs.LO, 05-04 (Primary) 05C70, 68R05 (Secondary)}
}

@Article{         hairer2009introduction,
  title         = {An introduction to stochastic PDEs},
  author        = {Hairer, Martin},
  journal       = {arXiv preprint arXiv:0907.4178},
  year          = {2009}
}

@Article{         Hall1935,
  author        = {P. Hall},
  journal       = {Journal of the London Mathematical Society},
  title         = {On Representatives of Subsets},
  year          = {1935},
  month         = {jan},
  number        = {1},
  pages         = {26--30},
  volume        = {s1-10},
  doi           = {10.1112/jlms/s1-10.37.26},
  publisher     = {Wiley}
}

@Book{            halmos1950measure,
  author        = {Halmos, Paul R},
  title         = {Measure theory},
  publisher     = {Springer-Verlag New York},
  year          = 1950,
  isbn          = {978-1-4684-9440-2},
  doi           = {10.1007/978-1-4684-9440-2}
}

@Book{            halmos2013measure,
  title         = {Measure theory},
  author        = {Halmos, Paul R},
  volume        = {18},
  year          = {1950},
  publisher     = {Springer},
  isbn          = {0-387-90088-8}
}

@Article{         Halpern1966,
  author        = {Halpern, James D.},
  journal       = {Proc. Amer. Math. Soc.},
  title         = {Bases in vector spaces and the axiom of choice},
  year          = {1966},
  issn          = {0002-9939},
  pages         = {670--673},
  volume        = {17},
  doi           = {10.2307/2035388},
  fjournal      = {Proceedings of the American Mathematical Society},
  mrclass       = {04.00},
  mrnumber      = {194340},
  mrreviewer    = {Ivan Singer}
}

@Book{            hancheolsenstormer1984,
  author        = {Harald {Hanche-Olsen} and Erling {St{\o}rmer}},
  title         = {{Jordan operator algebras}},
  fjournal      = {{Monographs and Studies in Mathematics}},
  journal       = {{Monogr. Stud. Math.}},
  volume        = {21},
  year          = {1984},
  publisher     = {Pitman, Boston, MA},
  language      = {English},
  msc2010       = {46L99 46L05 17C65 46-02},
  zbl           = {0561.46031}
}

@Book{            har77,
  author        = {Hartshorne, Robin},
  title         = {Algebraic geometry},
  note          = {Graduate Texts in Mathematics, No. 52},
  publisher     = {Springer-Verlag, New York-Heidelberg},
  year          = {1977},
  pages         = {xvi+496},
  isbn          = {0-387-90244-9},
  mrclass       = {14-01},
  mrnumber      = {0463157},
  mrreviewer    = {Robert Speiser}
}

@Book{            hardy2008introduction,
  title         = {An Introduction to the Theory of Numbers},
  author        = {Hardy, GH and Wright, EM and Heath-Brown, Roger and
                  Silverman, Joseph},
  year          = {2008},
  publisher     = {Oxford University Press}
}

@Book{            harmandwernerwerner1993,
  author        = {Peter {Harmand} and Dirk {Werner} and Wend {Werner}},
  title         = {{\(M\)-ideals in Banach spaces and Banach algebras}},
  fjournal      = {{Lecture Notes in Mathematics}},
  journal       = {{Lect. Notes Math.}},
  issn          = {0075-8434},
  volume        = {1547},
  isbn          = {3-540-56814-X},
  pages         = {viii + 387},
  year          = {1993},
  publisher     = {Berlin: Springer-Verlag},
  language      = {English},
  doi           = {10.1007/BFb0084355},
  msc2010       = {46B20 46B25 46B22 46-02 46B28},
  zbl           = {0789.46011}
}

@Book{            hartshorne61,
  author        = {Hartshorne, Robin},
  title         = {Local cohomology},
  series        = {Lecture Notes in Mathematics, No. 41},
  note          = {A seminar given by A. Grothendieck, Harvard University,
                  Fall, 1961},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1967},
  pages         = {vi+106},
  mrclass       = {14.55 (18.00)},
  mrnumber      = {0224620},
  mrreviewer    = {F. Oort}
}

@Book{            hatcher02,
  author        = {Hatcher, Allen},
  title         = {Algebraic topology},
  isbn          = {0-521-79540-0},
  year          = {2002},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  keywords      = {55-01,55Nxx,55Pxx,55Qxx},
  zbmath        = {2103273},
  zbl           = {1044.55001}
}

@Article{         hausnerwendel1952,
  author        = {Hausner, M. and Wendel, J. G.},
  title         = {Ordered vector spaces},
  journal       = {Proc. Amer. Math. Soc.},
  fjournal      = {Proceedings of the American Mathematical Society},
  volume        = {3},
  year          = {1952},
  pages         = {977--982},
  issn          = {0002-9939},
  mrclass       = {46.3X},
  mrnumber      = {52045},
  mrreviewer    = {I. Halperin},
  doi           = {10.2307/2031746},
  url           = {https://doi.org/10.2307/2031746}
}

@Article{         Haze09,
  title         = {Witt vectors. Part 1},
  isbn          = {9780444532572},
  issn          = {1570-7954},
  url           = {http://dx.doi.org/10.1016/S1570-7954(08)00207-6},
  doi           = {10.1016/s1570-7954(08)00207-6},
  journal       = {Handbook of Algebra},
  publisher     = {Elsevier},
  author        = {Hazewinkel, Michiel},
  year          = {2009},
  pages         = {319–472}
}

@Misc{            heathbrown2002lecturessieves,
  title         = {Lectures on sieves},
  author        = {D. R. Heath-Brown},
  year          = {2002},
  eprint        = {math/0209360},
  archiveprefix = {arXiv},
  primaryclass  = {math.NT},
  url           = {https://arxiv.org/abs/math/0209360}
}

@Article{         henriksen_et_al1997,
  author        = {Henriksen, M. and Kopperman, R. and Mack, J. and Somerset,
                  D. W. B.},
  title         = {Joincompact spaces, continuous lattices and
                  {{\(C^*\)}}-algebras},
  fjournal      = {Algebra Universalis},
  journal       = {Algebra Univers.},
  issn          = {0002-5240},
  volume        = {38},
  number        = {3},
  pages         = {289--323},
  year          = {1997},
  language      = {English},
  doi           = {10.1007/s000120050056},
  keywords      = {54A05,06B35,46L05,54C05,54D30,54E55},
  zbmath        = {1407078},
  zbl           = {0933.54002}
}

@Article{         Higman52,
  author        = {Higman, Graham},
  title         = {Ordering by Divisibility in Abstract Algebras},
  journal       = {Proceedings of the London Mathematical Society},
  volume        = {s3-2},
  number        = {1},
  pages         = {326-336},
  doi           = {https://doi.org/10.1112/plms/s3-2.1.326},
  year          = {1952}
}

@Book{            hindrysilverman00,
  author        = {Hindry, Marc and Silverman, Joseph H.},
  title         = {Diophantine geometry},
  series        = {Graduate Texts in Mathematics},
  volume        = {201},
  note          = {An introduction},
  publisher     = {Springer-Verlag, New York},
  year          = {2000},
  pages         = {xiv+558}
}

@Unpublished{     hochsterunpublished,
  title         = {Local cohomology},
  author        = {Hochster, Mel},
  url           = {https://dept.math.lsa.umich.edu/~hochster/615W11/loc.pdf}
}

@Book{            Hodges97,
  author        = {Hodges, Wilfrid},
  title         = {A Shorter Model Theory},
  year          = {1997},
  isbn          = {0521587131},
  publisher     = {Cambridge University Press},
  address       = {USA}
}

@Book{            Hofstadter-1979,
  author        = "Douglas R Hofstadter",
  title         = "{{G}ödel, {E}scher, {B}ach: an eternal golden braid}",
  publisher     = "Basic Books",
  address       = "New York, NY",
  series        = "Penguin books",
  year          = "1979"
}

@Article{         hollom2025,
  title         = {A resolution of the Aharoni-Korman conjecture},
  author        = {Lawrence Hollom},
  year          = {2025},
  eprint        = {2411.16844},
  archiveprefix = {arXiv},
  primaryclass  = {math.CO},
  url           = {https://arxiv.org/abs/2411.16844}
}

@Article{         hovey-2001,
  author        = {Hovey, Mark},
  title         = {Model category structures on chain complexes of sheaves},
  journal       = {Trans. Amer. Math. Soc.},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {353},
  year          = {2001},
  number        = {6},
  pages         = {2441--2457},
  issn          = {0002-9947,1088-6850},
  mrclass       = {18F20 (14F05 18E15 18E30 55U35)},
  mrnumber      = {1814077},
  doi           = {10.1090/S0002-9947-01-02721-0},
  url           = {https://doi.org/10.1090/S0002-9947-01-02721-0}
}

@Misc{            howard,
  title         = {Second Order Elliptic PDE: The Lax-Milgram Theorem},
  url           = {https://www.math.tamu.edu/~phoward/m612/s20/elliptic2.pdf},
  journal       = {M612: Partial Differential Equations},
  author        = {Howard, Peter}
}

@Book{            hua1982house,
  author        = {Hua, Loo-Keng},
  publisher     = {Springer},
  title         = {Introduction to Number Theory},
  year          = {1982},
  pages         = {489}
}

@Book{            HubbardWest-ode,
  author        = {John H. Hubbard and Beverly H. West},
  title         = {Differential Equations: A Dynamical Systems Approach},
  subtitle      = {Ordinary Differential Equations},
  year          = {1991},
  publisher     = {Springer},
  location      = {New York},
  volume        = {5},
  isbn          = {978-1-4612-8693-6},
  doi           = {10.1007/978-1-4612-4192-8},
  pages         = {XX, 350}
}

@Article{         huneke2002,
  author        = {Huneke, Craig},
  title         = {The Friendship Theorem},
  publisher     = {Mathematical Association of America},
  year          = {2002},
  pages         = {192--194},
  journal       = {The American Mathematical Monthly},
  issn          = {00029890, 19300972},
  volume        = {109},
  number        = {2},
  doi           = {10.1080/00029890.2002.11919853},
  url           = {https://doi.org/10.1080/00029890.2002.11919853}
}

@InProceedings{   hyman1973,
  author        = "Bass, Hyman",
  editor        = "Bass, Hyman",
  title         = "Unitary algebraic K-theory",
  booktitle     = "Hermitian K-Theory and Geometric Applications",
  year          = "1973",
  publisher     = "Springer Berlin Heidelberg",
  address       = "Berlin, Heidelberg",
  pages         = "57--265",
  isbn          = "978-3-540-37773-3"
}

@Book{            Hytonen_VanNeerven_Veraar_Wies_2016,
  author        = {Hytönen, Tuomas and Van Neerven, Jan and Veraar, Mark and
                  Weis, Lutz},
  title         = {Analysis in Banach spaces},
  series        = {A Series of Modern Surveys in Mathematics},
  publisher     = {Springer Cham},
  year          = {2016},
  pages         = {xvii+614},
  isbn          = {978-3-319-48520-1},
  doi           = {10.1007/978-3-319-48520-1},
  url           = {https://doi.org/10.1007/978-3-319-48520-1}
}

@Book{            iordanescu2003,
  author        = {Radu {Iord\u{a}nescu}},
  title         = {{Jordan structures in geometry and physics. With an
                  appendix on Jordan structures in analysis}},
  isbn          = {973-27-0956-1},
  pages         = {201},
  year          = {2003},
  publisher     = {Bucharest: Editura Academiei Rom\^ane},
  language      = {English},
  msc2010       = {17C50 17-02 17C65 32M15 35Q58 51A35 53C35 46H70 46K70
                  81R12 81R50},
  zbl           = {1073.17014}
}

@Book{            IrelandRosen1990,
  author        = {Ireland, Kenneth and Rosen, Michael},
  title         = {A classical introduction to modern number theory},
  series        = {Graduate Texts in Mathematics},
  volume        = {84},
  edition       = {Second},
  publisher     = {Springer-Verlag, New York},
  year          = {1990},
  pages         = {xiv+389},
  isbn          = {0-387-97329-X},
  doi           = {10.1007/978-1-4757-2103-4},
  url           = {https://doi.org/10.1007/978-1-4757-2103-4}
}

@Article{         Isaacs1980,
  author        = {Isaacs, I. M.},
  title         = {Roots of Polynomials in Algebraic Extensions of Fields},
  publisher     = {Taylor \& Francis},
  year          = {1980},
  pages         = {543--544},
  journal       = {The American Mathematical Monthly},
  volume        = {87},
  number        = {7},
  doi           = {10.1080/00029890.1980.11995085},
  url           = {https://doi.org/10.1080/00029890.1980.11995085}
}

@Book{            iversen,
  title         = {Generic Local Structure of the Morphisms in Commutative
                  Algebra},
  author        = {Birger Iversen},
  series        = {Lecture Notes in Mathematics},
  volume        = {310},
  year          = {2006},
  publisher     = {Springer Berlin, Heidelberg},
  doi           = {10.1007/BFb0060790},
  isbn          = {978-3-540-06137-3}
}

@Book{            iyengaretal07,
  author        = {Iyengar, Srikanth B. and Leuschke, Graham J. and Leykin,
                  Anton and Miller, Claudia and Miller, Ezra and Singh,
                  Anurag K. and Walther, Uli},
  title         = {Twenty-four hours of local cohomology},
  series        = {Graduate Studies in Mathematics},
  volume        = {87},
  publisher     = {American Mathematical Society, Providence, RI},
  year          = {2007},
  pages         = {xviii+282},
  isbn          = {978-0-8218-4126-6},
  mrclass       = {13D45 (14B15 55N30)},
  doi           = {10.1090/gsm/087},
  url           = {https://doi-org.www2.lib.ku.edu/10.1090/gsm/087}
}

@Article{         izhakian2016,
  title         = {Supertropical quadratic forms I},
  journal       = {Journal of Pure and Applied Algebra},
  volume        = {220},
  number        = {1},
  pages         = {61-93},
  year          = {2016},
  issn          = {0022-4049},
  doi           = {10.1016/j.jpaa.2015.05.043},
  url           = {https://www.sciencedirect.com/science/article/pii/S0022404915001589},
  author        = {Zur Izhakian and Manfred Knebusch and Louis Rowen}
}

@Book{            Jacobson1956,
  author        = {Jacobson, Nathan},
  title         = {Structure of rings},
  fseries       = {Colloquium Publications. American Mathematical Society},
  series        = {Colloq. Publ., Am. Math. Soc.},
  issn          = {0065-9258},
  volume        = {37},
  year          = {1956},
  publisher     = {American Mathematical Society (AMS), Providence, RI},
  language      = {English},
  keywords      = {16-02},
  zbmath        = {3121681},
  zbl           = {0073.02002}
}

@Book{            jacobson1974,
  author        = {Jacobson, Nathan},
  title         = {Basic algebra. {I}},
  publisher     = {W. H. Freeman and Co., San Francisco, CA},
  year          = {1974},
  pages         = {xvi+472},
  mrclass       = {00A05},
  mrnumber      = {356989},
  mrreviewer    = {M.\ F.\ Smiley}
}

@Book{            jacobson1989,
  author        = {Jacobson, Nathan},
  title         = {Basic algebra. {II}},
  edition       = {Second},
  publisher     = {W. H. Freeman and Company, New York},
  year          = {1989},
  pages         = {xviii+686},
  isbn          = {0-7167-1933-9},
  mrclass       = {00A05 (12-01 15-01 16-01)},
  mrnumber      = {1009787},
  mrreviewer    = {P.\ M.\ Cohn}
}

@Book{            james1999,
  author        = {James, Ioan},
  title         = {Topologies and uniformities},
  series        = {Springer Undergraduate Mathematics Series},
  note          = {Revised version of {{\i}t Topological and uniform spaces}
                  [Springer, New York, 1987; MR0884154 (89b:54001)]},
  publisher     = {Springer-Verlag London, Ltd., London},
  year          = {1999},
  pages         = {xvi+230},
  isbn          = {1-85233-061-9},
  mrclass       = {54-01 (54A05 54E15)},
  mrnumber      = {1687407},
  mrreviewer    = {Hans-Peter A. K\"{u}nzi},
  doi           = {10.1007/978-1-4471-3994-2},
  url           = {https://doi.org/10.1007/978-1-4471-3994-2}
}

@Article{         JanelidzeKelly2001,
  author        = {Janelidze, G. and Kelly, G.M.},
  journal       = {Theory and Applications of Categories [electronic only]},
  keywords      = {monad; enriched category; monoidal category},
  language      = {eng},
  pages         = {61-91},
  publisher     = {Mount Allison University, Department of Mathematics and
                  Computer Science, Sackville},
  title         = {A note on actions of a monoidal category.},
  url           = {http://eudml.org/doc/122510},
  volume        = {9},
  year          = {2001}
}

@Book{            Janich1984,
  title         = {Topology},
  author        = {J{\"a}nich, K. and Levy, S.},
  isbn          = {9783540908920},
  lccn          = {96206939},
  series        = {Lecture notes in mathematics, 1060},
  url           = {https://books.google.de/books?id=3eaFHAAACAAJ},
  year          = {1984},
  publisher     = {Springer-Verlag}
}

@Article{         jardine-1987,
  author        = {Jardine, J. F.},
  title         = {Simplicial presheaves},
  journal       = {J. Pure Appl. Algebra},
  fjournal      = {Journal of Pure and Applied Algebra},
  volume        = {47},
  year          = {1987},
  number        = {1},
  pages         = {35--87},
  issn          = {0022-4049,1873-1376},
  mrclass       = {18F10 (18B25 18F20 18F25 19D99)},
  mrnumber      = {906403},
  doi           = {10.1016/0022-4049(87)90100-9},
  url           = {https://doi.org/10.1016/0022-4049(87)90100-9}
}

@Article{         Jordan1935,
  title         = "On inner products in linear, metric spaces",
  author        = "Jordan, P. and von Neumann, J.",
  fjournal      = {{Annals of Mathematics}},
  journal       = "Ann. Math.",
  volume        = 36,
  number        = 3,
  pages         = "719-723",
  month         = jul,
  year          = 1935,
  url           = "http://www.mathematik.uni-muenchen.de/~michel/jordan-von_neumann_-_parallelogram_identity.pdf",
  doi           = {10.2307/1968653}
}

@Article{         joyal1977,
  author        = {André Joyal},
  title         = {Remarques sur la théorie des jeux à deux personnes},
  journal       = {Gazette des Sciences Mathematiques du Québec},
  volume        = {1},
  number        = {4},
  pages         = {46--52},
  year          = {1977},
  note          = {(English translation at
                  https://bosker.files.wordpress.com/2010/12/joyal-games.pdf)}
}

@Misc{            Joyal_Street,
  title         = {Braided monoidal categories},
  author        = {Andr{\'e} Joyal and Ross H. Street},
  year          = {1986},
  note          = {Mathematics Reports 860081, Macquarie University},
  url           = {http://maths.mq.edu.au/~street/JS1.pdf}
}

@Article{         Joyce1982,
  author        = {David Joyce},
  title         = {A classifying invariant of knots, the knot quandle},
  journal       = {Journal of Pure and Applied Algebra},
  year          = {1982},
  volume        = {23},
  number        = {1},
  month         = {1},
  pages         = {37--65},
  doi           = {10.1016/0022-4049(82)90077-9},
  publisher     = {Elsevier {BV}}
}

@Book{            juskevic2022,
  author        = {Ju{\v{s}}kevi{\v{c}}, Adolf P and Winter, Eduard},
  title         = {Leonhard Euler und Christian Goldbach: Briefwechsel
                  1729--1764},
  year          = {2022},
  publisher     = {Walter de Gruyter GmbH \& Co KG}
}

@Article{         KahnMaltsiniotis2008,
  author        = {Kahn, Bruno and Maltsiniotis, Georges},
  title         = {Structures de d\'{e}rivabilit\'{e}},
  journal       = {Adv. Math.},
  fjournal      = {Advances in Mathematics},
  volume        = {218},
  year          = {2008},
  number        = {4},
  pages         = {1286--1318},
  issn          = {0001-8708,1090-2082},
  mrclass       = {18G55 (18A40 18E25 18E35 18G10 55P60 55U35)},
  mrnumber      = {2419385},
  mrreviewer    = {Simona\ Paoli},
  doi           = {10.1016/j.aim.2008.03.010},
  url           = {https://doi.org/10.1016/j.aim.2008.03.010}
}

@Book{            kallenberg2017,
  title         = {Random Measures, Theory and Applications},
  author        = {Kallenberg, Olav},
  series        = {Probability Theory and Stochastic Modelling},
  volume        = {77},
  year          = {2017},
  publisher     = {Springer},
  doi           = {10.1007/978-3-319-41598-7},
  url           = {https://doi.org/10.1007/978-3-319-41598-7}
}

@Book{            kallenberg2021,
  author        = {Kallenberg, Olav},
  title         = {Foundations of modern probability},
  series        = {Probability Theory and Stochastic Modelling},
  volume        = {99},
  publisher     = {Springer Nature Switzerland},
  edition       = {Third Edition},
  year          = {2021},
  pages         = {193},
  isbn          = {978-3-030-61870-4; 978-3-030-61871-1},
  doi           = {10.1007/978-3-030-61871-1},
  url           = {https://doi.org/10.1007/978-3-030-61871-1}
}

@Article{         kaplansky_topological_1947,
  author        = {Kaplansky, Irving},
  title         = {Topological {Rings}},
  journal       = {American Journal of Mathematics},
  volume        = {69},
  number        = {1},
  year          = {1947},
  pages         = {153--183},
  publisher     = {Johns Hopkins University Press},
  issn          = {0002-9327},
  url           = {https://www.jstor.org/stable/2371662},
  doi           = {10.2307/2371662}
}

@Article{         Karner2004,
  author        = {Karner, Georg},
  title         = {Continuous monoids and semirings},
  fjournal      = {Theoretical Computer Science},
  journal       = {Theor. Comput. Sci.},
  issn          = {0304-3975},
  volume        = {318},
  number        = {3},
  pages         = {355--372},
  year          = {2004},
  language      = {English},
  doi           = {10.1016/j.tcs.2004.01.020},
  keywords      = {68Q55,16Y60,06F05,06B35},
  zbmath        = {2085476},
  zbl           = {1068.68079}
}

@Book{            Kashiwara2006,
  doi           = {10.1007/3-540-27950-4},
  url           = {https://doi.org/10.1007/3-540-27950-4},
  year          = {2006},
  publisher     = {Springer Berlin Heidelberg},
  author        = {Masaki Kashiwara and Pierre Schapira},
  title         = {Categories and Sheaves}
}

@Book{            Kassel1995,
  author        = {Kassel, Christian},
  title         = {Quantum groups},
  series        = {Graduate Texts in Mathematics},
  volume        = {155},
  publisher     = {Springer-Verlag, New York},
  year          = {1995},
  pages         = {xii+531},
  isbn          = {0-387-94370-6},
  mrclass       = {17B37 (16W30 18D10 20F36 57M25 81R50)},
  mrnumber      = {1321145},
  mrreviewer    = {Yu.\ N.\ Bespalov},
  doi           = {10.1007/978-1-4612-0783-2},
  url           = {https://doi.org/10.1007/978-1-4612-0783-2}
}

@Article{         Katsov2004,
  author        = {Katsov, Y.},
  title         = {On flat semimodules over semirings},
  journal       = {Algebra Universalis},
  year          = {2004},
  month         = {Aug},
  day           = {01},
  volume        = {51},
  number        = {2},
  pages         = {287-299},
  issn          = {1420-8911},
  doi           = {10.1007/s00012-004-1865-1},
  url           = {https://doi.org/10.1007/s00012-004-1865-1}
}

@Article{         KatsovNam2011,
  author        = {Katsov, Y. and Nam, T. G.},
  title         = {Morita equivalence and homological characterization of
                  semirings},
  journal       = {Journal of Algebra and Its Applications},
  volume        = {10},
  number        = {03},
  pages         = {445-473},
  year          = {2011},
  doi           = {10.1142/S0219498811004793},
  url           = {https://doi.org/10.1142/S0219498811004793}
}

@Book{            katz_mazur,
  author        = {Katz, Nicholas M. and Mazur, Barry},
  title         = {Arithmetic moduli of elliptic curves},
  series        = {Annals of Mathematics Studies},
  volume        = {108},
  publisher     = {Princeton University Press, Princeton, NJ},
  year          = {1985},
  pages         = {xiv+514},
  isbn          = {0-691-08349-5; 0-691-08352-5},
  mrclass       = {11G05 (11F11 14G25 14K15)},
  mrnumber      = {772569},
  mrreviewer    = {Kenneth A. Ribet},
  doi           = {10.1515/9781400881710},
  url           = {https://doi.org/10.1515/9781400881710}
}

@Book{            kaye1991,
  author        = {Richard Kaye},
  publisher     = {Clarendon Press},
  title         = {Models of Peano Arithmetic},
  year          = {1991}
}

@Book{            kechris1995,
  author        = {Kechris, Alexander S.},
  title         = {Classical descriptive set theory},
  series        = {Graduate Texts in Mathematics},
  volume        = {156},
  publisher     = {Springer-Verlag, New York},
  year          = {1995},
  pages         = {xviii+402},
  isbn          = {0-387-94374-9},
  mrclass       = {03E15 (03-01 03-02 04A15 28A05 54H05 90D44)},
  mrnumber      = {1321597},
  mrreviewer    = {Jakub Jasi\'{n}ski},
  doi           = {10.1007/978-1-4612-4190-4},
  url           = {https://doi.org/10.1007/978-1-4612-4190-4}
}

@Article{         kelleyVaught1953,
  author        = {Kelley, J. L. and Vaught, R. L.},
  title         = {The positive cone in {Banach} algebras},
  journal       = {Trans. Am. Math. Soc.},
  issn          = {0002-9947},
  volume        = {74},
  pages         = {44--55},
  year          = {1953},
  language      = {English},
  doi           = {10.2307/1990847}
}

@Article{         kelly2005,
  author        = {Kelly, G. M.},
  title         = {Basic concepts of enriched category theory},
  journal       = {Repr. Theory Appl. Categ.},
  volume        = {10},
  pages         = {vi+137 pp.},
  year          = {2005},
  language      = {English}
}

@Article{         kleiman1979,
  author        = {Kleiman, Steven Lawrence},
  title         = {Misconceptions about {$K_X$}},
  journal       = {Enseign. Math. (2)},
  volume        = {25},
  year          = {1979},
  number        = {3-4},
  pages         = {203--206},
  url           = {http://dx.doi.org/10.5169/seals-50379}
}

@Article{         kleitman1966,
  author        = {Kleitman, D. J.},
  title         = {Families of non-disjoint subsets},
  journal       = {J. Comb. Theory},
  fjournal      = {Journal of Combinatorial Theory},
  issn          = {0097-3165},
  volume        = {1},
  year          = {1966},
  pages         = {153--155},
  language      = {English},
  doi           = {10.1016/S0021-9800(66)80012-1},
  zbl           = {0141.00801}
}

@Article{         KoukoulopoulosMaynard2020,
  author        = {Koukoulopoulos, Dimitris and Maynard, James},
  title         = {On the {D}uffin-{S}chaeffer conjecture},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {192},
  year          = {2020},
  number        = {1},
  pages         = {251--307},
  issn          = {0003-486X},
  mrclass       = {11J83 (05C40)},
  mrnumber      = {4125453},
  mrreviewer    = {Sam Chow},
  doi           = {10.4007/annals.2020.192.1.5},
  url           = {https://doi.org/10.4007/annals.2020.192.1.5}
}

@Article{         kozen1994,
  title         = {A Completeness Theorem for Kleene Algebras and the Algebra
                  of Regular Events},
  journal       = {Information and Computation},
  volume        = {110},
  number        = {2},
  pages         = {366-390},
  year          = {1994},
  issn          = {0890-5401},
  doi           = {https://doi.org/10.1006/inco.1994.1037},
  url           = {https://www.sciencedirect.com/science/article/pii/S0890540184710376},
  author        = {D. Kozen},
  abstract      = {We give a finitary axiomatization of the algebra of
                  regular events involving only equations and equational
                  implications. Unlike Salomaa′s axiomatizations, the
                  axiomatization given here is sound for all interpretations
                  over Kleene algebras.}
}

@Article{         kratschmer_urusov2023,
  author        = {Kr\"atschmer, Volker and Urusov, Mikhail},
  title         = {A {K}olmogorov-{C}hentsov type theorem on general metric
                  spaces with applications to limit theorems for
                  {B}anach-valued processes},
  journal       = {J. Theoret. Probab.},
  fjournal      = {Journal of Theoretical Probability},
  volume        = {36},
  year          = {2023},
  number        = {3},
  pages         = {1454--1486},
  issn          = {0894-9840,1572-9230},
  mrclass       = {60G17 (60B12 60F05 60G60)},
  mrnumber      = {4621071},
  mrreviewer    = {Anatoliy\ Malyarenko},
  doi           = {10.1007/s10959-022-01207-8},
  url           = {https://doi.org/10.1007/s10959-022-01207-8}
}

@Book{            kung_rota_yan2009,
  author        = {Kung, Joseph P. S. and Rota, Gian-Carlo and Yan, Catherine
                  H.},
  title         = {Combinatorics: the {R}ota way},
  series        = {Cambridge Mathematical Library},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2009},
  pages         = {xii+396},
  isbn          = {978-0-521-73794-4},
  mrclass       = {05-01 (06A07)},
  mrnumber      = {2483561},
  mrreviewer    = {Luca\ Ferrari},
  doi           = {10.1017/CBO9780511803895},
  url           = {https://doi.org/10.1017/CBO9780511803895}
}

@Article{         lam_1984,
  author        = {T.Y. Lam},
  title         = {{An introduction to real algebra}},
  volume        = {14},
  journal       = {Rocky Mountain Journal of Mathematics},
  number        = {4},
  publisher     = {Rocky Mountain Mathematics Consortium},
  pages         = {767 -- 814},
  year          = {1984},
  doi           = {10.1216/RMJ-1984-14-4-767},
  url           = {https://doi.org/10.1216/RMJ-1984-14-4-767}
}

@Book{            lam_1999,
  series        = {Graduate Texts in Mathematics},
  title         = {Lectures on Modules and Rings},
  doi           = {10.1007/978-1-4612-0525-8},
  publisher     = {Springer New York, NY},
  author        = {T. Y. Lam},
  year          = {1999}
}

@Article{         lam_reyes_2009,
  title         = {Oka and Ako ideal families in commutative rings},
  author        = {T. Y. Lam and Manuel L. Reyes},
  year          = {2009},
  month         = {01},
  journal       = {Contemporary Mathematics},
  volume        = {480},
  pages         = {263--288},
  publisher     = {American Mathematical Society}
}

@Article{         Lambek_1964,
  title         = {A Module is Flat if and Only if its Character Module is
                  Injective},
  volume        = {7},
  doi           = {10.4153/CMB-1964-021-9},
  number        = {2},
  journal       = {Canadian Mathematical Bulletin},
  author        = {Lambek, J.},
  year          = {1964},
  pages         = {237–243}
}

@Book{            laumon-morel-bailly-2000,
  author        = {Laumon, G\'erard and Moret-Bailly, Laurent},
  title         = {Champs alg\'ebriques},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete. 3.
                  Folge. A Series of Modern Surveys in Mathematics [Results
                  in Mathematics and Related Areas. 3rd Series. A Series of
                  Modern Surveys in Mathematics]},
  volume        = {39},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2000},
  pages         = {xii+208},
  isbn          = {3-540-65761-4},
  mrclass       = {14A20 (14D20)},
  mrnumber      = {1771927}
}

@Article{         lazarus1973,
  author        = {Michel Lazarus},
  title         = {Les familles libres maximales d'un module ont-elles le
                  meme cardinal?},
  journal       = {Pub. Sem. Math. Rennes},
  volume        = {4},
  year          = {1973},
  pages         = {1--12},
  url           = {http://www.numdam.org/article/PSMIR_1973___4_A4_0.pdf}
}

@Book{            lee2012,
  author        = {John Lee},
  title         = {Introduction to Smooth Manifolds},
  publisher     = {Springer New York},
  year          = {2012},
  edition       = {2nd ed. 2013},
  url           = {https://doi.org/10.1007/978-1-4419-9982-5}
}

@Misc{            lenstraGSchemes,
  author        = "Lenstra, Hendrik Willem",
  title         = "Galois theory for schemes",
  pages         = "1--109",
  url           = "https://websites.math.leidenuniv.nl/algebra/GSchemes.pdf"
}

@InProceedings{   lewis2019,
  author        = {Lewis, Robert Y.},
  title         = {A Formal Proof of {H}ensel's Lemma over the {$p$}-adic
                  Integers},
  booktitle     = {Proceedings of the 8th ACM SIGPLAN International
                  Conference on Certified Programs and Proofs},
  series        = {CPP 2019},
  year          = {2019},
  isbn          = {978-1-4503-6222-1},
  location      = {Cascais, Portugal},
  pages         = {15--26},
  numpages      = {12},
  url           = {http://doi.acm.org/10.1145/3293880.3294089},
  doi           = {10.1145/3293880.3294089},
  acmid         = {3294089},
  publisher     = {ACM},
  address       = {New York, NY, USA},
  keywords      = {Hensel's lemma, Lean, formal proof, p-adic}
}

@Article{         LiebeckPraegerSaxl-1987,
  title         = {A classification of the maximal subgroups of the finite
                  alternating and symmetric groups},
  author        = {Liebeck, Martin W and Praeger, Cheryl E and Saxl, Jan},
  year          = {1987},
  journal       = {Journal of Algebra},
  volume        = {111},
  number        = {2},
  pages         = {365--383},
  issn          = {00218693},
  doi           = {10.1016/0021-8693(87)90223-7},
  url           = {https://linkinghub.elsevier.com/retrieve/pii/0021869387902237}
}

@Book{            Lorenz2008,
  title         = {Algebra},
  subtitle      = {Volume II: Fields with Structure, Algebras and Advanced
                  Topics},
  author        = {Falko Lorenz},
  series        = {Universitext},
  year          = {2008},
  isbn          = {978-0-387-72488-1},
  publisher     = {Springer New York, NY},
  doi           = {10.1007/978-0-387-72488-1},
  numpages      = {X, 340},
  edition       = {1}
}

@Book{            LurieHTT,
  title         = {Higher Topos Theory},
  author        = {Jacob Lurie},
  url           = {https://www.math.ias.edu/~lurie/papers/HTT.pdf},
  year          = {2009}
}

@Book{            LurieSAG,
  title         = {Spectral Algebraic Geometry},
  author        = {Jacob Lurie},
  url           = {https://www.math.ias.edu/~lurie/papers/SAG-rootfile.pdf},
  year          = {last updated 2018}
}

@Article{         Maltsiniotis2007,
  author        = {Maltsiniotis, Georges},
  title         = {Le th\'eor\`eme de {Q}uillen, d'adjonction des foncteurs
                  d\'eriv\'es, revisit\'e},
  journal       = {C. R. Math. Acad. Sci. Paris},
  fjournal      = {Comptes Rendus Math\'ematique. Acad\'emie des Sciences.
                  Paris},
  volume        = {344},
  year          = {2007},
  number        = {9},
  pages         = {549--552},
  issn          = {1631-073X,1778-3569},
  mrclass       = {18G50 (55U35)},
  mrnumber      = {2323740},
  doi           = {10.1016/j.crma.2007.03.011},
  url           = {https://doi.org/10.1016/j.crma.2007.03.011}
}

@InCollection{    manchon_2011,
  author        = {Manchon, Dominique},
  title         = {A short survey on pre-{Lie} algebras},
  booktitle     = {Noncommutative geometry and physics: Renormalisation,
                  motives, index theory. Based on the workshop ``Number
                  theory and physics'', Vienna, Austria, March 2009. Edited
                  with the assistance of Harald Grosse and Steve Rosenberg},
  isbn          = {978-3-03719-008-1},
  pages         = {89--102},
  year          = {2011},
  publisher     = {Z{\"u}rich: European Mathematical Society (EMS)},
  language      = {English},
  keywords      = {17A30,17D25},
  zbmath        = {6010972},
  zbl           = {1278.17001}
}

@Article{         manin1963,
  author        = {Manin, Ju. I.},
  title         = {Theory of commutative formal groups over fields of finite
                  characteristic},
  journal       = {Uspehi Mat. Nauk},
  fjournal      = {Akademiya Nauk SSSR i Moskovskoe Matematicheskoe
                  Obshchestvo. Uspekhi Matematicheskikh Nauk},
  volume        = {18},
  year          = {1963},
  number        = {6 (114)},
  pages         = {3--90},
  issn          = {0042-1316},
  mrclass       = {14.50 (14.49)},
  mrnumber      = {0157972},
  mrreviewer    = {E. C. Dade}
}

@Book{            marcus1977number,
  title         = {Number fields},
  author        = {Marcus, Daniel A and Sacco, Emanuele},
  volume        = {2},
  year          = {1977},
  publisher     = {Springer}
}

@Article{         markowsky1976,
  title         = {Chain-complete posets and directed sets with
                  applications},
  volume        = {6},
  doi           = {10.1007/bf02485815},
  number        = {1},
  journal       = {Algebra Universalis},
  author        = {Markowsky, George},
  year          = {1976},
  month         = {Dec},
  pages         = {53-68}
}

@Article{         mason2017,
  title         = {Vertex rings and Pierce bundles},
  author        = {Geoffrey Mason},
  year          = {2017},
  eprint        = {1707.00328},
  archiveprefix = {arXiv},
  primaryclass  = {math.RA},
  url           = {https://arxiv.org/abs/1707.00328v1}
}

@InProceedings{   mathlib2020,
  author        = {The mathlib Community},
  title         = {The Lean Mathematical Library},
  year          = {2020},
  isbn          = {9781450370974},
  publisher     = {Association for Computing Machinery},
  address       = {New York, NY, USA},
  url           = {https://doi.org/10.1145/3372885.3373824},
  doi           = {10.1145/3372885.3373824},
  booktitle     = {Proceedings of the 9th ACM SIGPLAN International
                  Conference on Certified Programs and Proofs},
  pages         = {367-381},
  numpages      = {15},
  keywords      = {formal proof, formal library, Lean, mathlib},
  location      = {New Orleans, LA, USA},
  series        = {CPP 2020}
}

@Article{         matsuo1997,
  title         = {On axioms for a vertex algebra and locality of quantum
                  fields},
  author        = {Atsushi Matsuo, Kiyokazu Nagatomo},
  year          = {1997},
  eprint        = {9706118},
  archiveprefix = {arXiv},
  primaryclass  = {hep-th},
  url           = {https://arxiv.org/abs/hep-th/9706118}
}

@Book{            mattila1995,
  author        = {Mattila, Pertti},
  title         = {Geometry of sets and measures in {E}uclidean spaces},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {44},
  note          = {Fractals and rectifiability},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {1995},
  pages         = {xii+343},
  isbn          = {0-521-46576-1; 0-521-65595-1},
  doi           = {10.1017/CBO9780511623813},
  url           = {https://doi.org/10.1017/CBO9780511623813}
}

@InProceedings{   mcbride1996,
  title         = {Inverting inductively defined relations in {LEGO}},
  author        = {McBride, Conor},
  booktitle     = {International Workshop on Types for Proofs and Programs},
  pages         = {236--253},
  year          = {1996},
  organization  = {Springer}
}

@Book{            mccrimmon2004,
  author        = {Kevin {McCrimmon}},
  title         = {{A taste of Jordan algebras}},
  fjournal      = {{Universitext}},
  journal       = {{Universitext}},
  issn          = {0172-5939},
  isbn          = {0-387-95447-3},
  pages         = {xxvi + 562},
  year          = {2004},
  publisher     = {New York, NY: Springer},
  language      = {English},
  doi           = {10.1007/b97489},
  msc2010       = {17-01 17Cxx},
  zbl           = {1044.17001}
}

@Misc{            melikhov2011,
  title         = {Metrizable uniform spaces},
  author        = {Sergey A. Melikhov},
  year          = {2011},
  eprint        = {1106.3249},
  archiveprefix = {arXiv},
  primaryclass  = {math.GT}
}

@Book{            MeyerNieberg1991,
  author        = {Meyer-Nieberg, Peter},
  title         = {Banach lattices},
  series        = {Universitext},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1991},
  pages         = {xvi+395},
  isbn          = {3-540-54201-9},
  mrclass       = {46B42 (46A40 47B60)},
  mrnumber      = {1128093},
  mrreviewer    = {Yu. A. Abramovich},
  doi           = {10.1007/978-3-642-76724-1},
  url           = {https://doi.org/10.1007/978-3-642-76724-1}
}

@Book{            meyntweedie1993,
  author        = {Meyn, S.P. and Tweedie, R.L.},
  title         = {Markov Chains and Stochastic Stability},
  edition       = {1st ed.},
  isbn          = {978-1-4471-3269-1},
  year          = {1993},
  publisher     = {Springer London},
  language      = {English}
}

@Article{         Milla_2018,
  author        = {Milla, Lorenz},
  title         = {A detailed proof of the {C}hudnovsky formula with means of
                  basic complex analysis},
  year          = {2021},
  eprint        = {1809.00533},
  archiveprefix = {arXiv},
  primaryclass  = {math.NT},
  url           = {https://arxiv.org/abs/1809.00533}
}

@Article{         Miller_1976,
  title         = {Normal functions and constructive ordinal notations},
  volume        = {41},
  doi           = {10.2307/2272243},
  number        = {2},
  journal       = {The Journal of Symbolic Logic},
  author        = {Miller, Larry W.},
  year          = {1976},
  pages         = {439–459}
}

@Book{            miraglia2006introduction,
  title         = {An Introduction to Partially Ordered Structures and
                  Sheaves},
  author        = {Miraglia, F.},
  isbn          = {9788876990359},
  series        = {Contemporary logic},
  year          = {2006},
  publisher     = {Polimetrica}
}

@Article{         mitchell1981,
  title         = {A quick proof of the Gabriel-Popesco theorem},
  journal       = {Journal of Pure and Applied Algebra},
  volume        = {20},
  number        = {3},
  pages         = {313-315},
  year          = {1981},
  issn          = {0022-4049},
  doi           = {https://doi.org/10.1016/0022-4049(81)90065-7},
  url           = {https://www.sciencedirect.com/science/article/pii/0022404981900657},
  author        = {Barry Mitchell}
}

@Book{            MM92,
  title         = {Sheaves in geometry and logic: A first introduction to
                  topos theory},
  author        = {MacLane, Saunders and Moerdijk, Ieke},
  year          = {1992},
  publisher     = {Springer Science \& Business Media}
}

@Misc{            MO88628,
  title         = {Well-pointed space which is not locally contractible},
  author        = {Sergey Melikhov},
  year          = {2012},
  howpublished  = {MathOverflow},
  note          = {URL:https://mathoverflow.net/q/88628 (version:
                  2012-02-17)},
  url           = {https://mathoverflow.net/q/88628}
}

@Article{         morrison-penney-enriched,
  author        = {Morrison, Kim and Penneys, David},
  title         = {Monoidal Categories Enriched in Braided Monoidal
                  Categories},
  journal       = {International Mathematics Research Notices},
  volume        = {2019},
  number        = {11},
  pages         = {3527-3579},
  year          = {2017},
  month         = {10},
  issn          = {1073-7928},
  doi           = {10.1093/imrn/rnx217},
  url           = {https://doi.org/10.1093/imrn/rnx217},
  eprint        = {https://academic.oup.com/imrn/article-pdf/2019/11/3527/28757603/rnx217.pdf}
}

@Article{         moss-2020,
  author        = {Moss, Sean},
  title         = {Another approach to the {K}an-{Q}uillen model structure},
  journal       = {J. Homotopy Relat. Struct.},
  fjournal      = {Journal of Homotopy and Related Structures},
  volume        = {15},
  year          = {2020},
  number        = {1},
  pages         = {143--165},
  issn          = {2193-8407,1512-2891},
  mrclass       = {55U35 (55U10)},
  mrnumber      = {4062882},
  doi           = {10.1007/s40062-019-00247-y},
  url           = {https://doi.org/10.1007/s40062-019-00247-y}
}

@Article{         MR0236876,
  title         = {A new proof that metric spaces are paracompact},
  author        = {Mary Ellen Rudin},
  year          = 1969,
  journal       = {Proc. Amer. Math. Soc.},
  volume        = {20},
  pages         = {603},
  mrnumber      = {0236876},
  doi           = {10.1090/S0002-9939-1969-0236876-3}
}

@Book{            MR0302656,
  author        = {Demazure, Michel and Gabriel, Pierre},
  title         = {Groupes alg\'{e}briques. {T}ome {I}: {G}\'{e}om\'{e}trie
                  alg\'{e}brique, g\'{e}n\'{e}ralit\'{e}s, groupes commutatifs},
  note          = {Avec un appendice {{\i}t Corps de classes local} par
                  Michiel Hazewinkel},
  publisher     = {Masson \& Cie, \'{E}diteur, Paris; North-Holland
                  Publishing Co., Amsterdam},
  year          = {1970},
  pages         = {xxvi+700},
  mrclass       = {14L15 (20G35)},
  mrnumber      = {0302656},
  mrreviewer    = {J.-E. Bertin}
}

@Article{         MR1167694,
  author        = {Blass, Andreas},
  title         = {A game semantics for linear logic},
  journal       = {Ann. Pure Appl. Logic},
  fjournal      = {Annals of Pure and Applied Logic},
  volume        = {56},
  year          = {1992},
  number        = {1-3},
  pages         = {183--220},
  issn          = {0168-0072},
  mrclass       = {03B70 (68Q55)},
  mrnumber      = {1167694},
  mrreviewer    = {Fangmin Song},
  doi           = {10.1016/0168-0072(92)90073-9},
  url           = {https://doi.org/10.1016/0168-0072(92)90073-9}
}

@Book{            MR1237403,
  author        = {Lidl, R. and Mullen, G. L. and Turnwald, G.},
  title         = {Dickson polynomials},
  series        = {Pitman Monographs and Surveys in Pure and Applied
                  Mathematics},
  volume        = {65},
  publisher     = {Longman Scientific \& Technical, Harlow; copublished in
                  the United States with John Wiley \& Sons, Inc., New York},
  year          = {1993},
  pages         = {vi+207},
  isbn          = {0-582-09119-5},
  mrclass       = {11T06 (12E05 13B25 33C80 94A60)},
  mrnumber      = {1237403},
  mrreviewer    = {S. D. Cohen}
}

@InProceedings{   MR1268290,
  author        = {Hans-Joachim Baues and Mamuka Jibladze and Andrew Tonks},
  title         = {Cohomology of Monoids in Monoidal Categories},
  booktitle     = {Operads: Proceedings of Renaissance Conferences, 1995},
  pages         = {137--165},
  series        = {Contemp. Math.},
  isbn          = {0-8218-0513-4},
  year          = {1997},
  volume        = {202},
  publisher     = {American Mathematical Society}
}

@Article{         MR25465,
  author        = {van der Waerden, B. L.},
  title         = {Free products of groups},
  journal       = {Amer. J. Math.},
  fjournal      = {American Journal of Mathematics},
  volume        = {70},
  year          = {1948},
  pages         = {527--528},
  issn          = {0002-9327},
  mrclass       = {20.0X},
  mrnumber      = {25465},
  mrreviewer    = {P. Hall},
  doi           = {10.2307/2372196},
  url           = {https://doi.org/10.2307/2372196}
}

@Book{            MR3156076,
  author        = {Noguchi, Junjiro and Winkelmann, J\"org},
  title         = {Nevanlinna theory in several complex variables and
                  {D}iophantine approximation},
  series        = {Grundlehren der mathematischen Wissenschaften [Fundamental
                  Principles of Mathematical Sciences]},
  volume        = {350},
  publisher     = {Springer, Tokyo},
  year          = {2014},
  pages         = {xiv+416},
  isbn          = {978-4-431-54570-5; 978-4-431-54571-2},
  mrclass       = {32-02 (11J25 11J97 32H30 32Q45)},
  mrnumber      = {3156076},
  mrreviewer    = {William\ A.\ Cherry},
  doi           = {10.1007/978-4-431-54571-2},
  url           = {https://doi.org/10.1007/978-4-431-54571-2}
}

@Article{         MR317916,
  author        = {Davis, Martin},
  title         = {Hilbert's tenth problem is unsolvable},
  journal       = {Amer. Math. Monthly},
  fjournal      = {American Mathematical Monthly},
  volume        = {80},
  year          = {1973},
  pages         = {233--269},
  issn          = {0002-9890},
  mrclass       = {02G05 (10B99 10N05)},
  mrnumber      = {317916},
  mrreviewer    = {R. L. Goodstein},
  doi           = {10.2307/2318447},
  url           = {https://doi.org/10.2307/2318447}
}

@Article{         MR32592,
  author        = {Motzkin, Th.},
  title         = {The {E}uclidean algorithm},
  journal       = {Bull. Amer. Math. Soc.},
  fjournal      = {Bulletin of the American Mathematical Society},
  volume        = {55},
  year          = {1949},
  pages         = {1142--1146},
  issn          = {0002-9904},
  mrclass       = {09.1X},
  mrnumber      = {32592},
  mrreviewer    = {B. N. Moyls},
  doi           = {10.1090/S0002-9904-1949-09344-8},
  url           = {https://doi.org/10.1090/S0002-9904-1949-09344-8}
}

@Article{         MR3790629,
  author        = {Bell, J. S.},
  title         = {On the {E}instein {P}odolsky {R}osen paradox},
  journal       = {Phys. Phys. Fiz.},
  fjournal      = {Physics Physique Fizika},
  volume        = {1},
  year          = {1964},
  number        = {3},
  pages         = {195--200},
  issn          = {0554-128X},
  mrclass       = {DML},
  mrnumber      = {3790629},
  doi           = {10.1103/PhysicsPhysiqueFizika.1.195},
  url           = {https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195}
}

@Book{            MR3971232,
  author        = {Koukoulopoulos, Dimitris},
  title         = {The distribution of prime numbers},
  series        = {Graduate Studies in Mathematics},
  volume        = {203},
  publisher     = {American Mathematical Society, Providence, RI},
  year          = {[2019] \copyright 2019},
  pages         = {xii + 356},
  isbn          = {978-1-4704-4754-0; 978-1-4704-6285-7},
  mrclass       = {11N05 (11-01 11M06 11N35 11N60)},
  mrnumber      = {3971232},
  mrreviewer    = {Y.-F.\ S.\ P\'etermann},
  doi           = {10.1090/gsm/203},
  url           = {https://doi.org/10.1090/gsm/203}
}

@Article{         MR399081,
  author        = {Hiblot, Jean-Jacques},
  title         = {Des anneaux euclidiens dont le plus petit algorithme n'est
                  pas \`a valeurs finies},
  journal       = {C. R. Acad. Sci. Paris S\'{e}r. A-B},
  fjournal      = {Comptes Rendus Hebdomadaires des S\'{e}ances de
                  l'Acad\'{e}mie des Sciences. S\'{e}ries A et B},
  volume        = {281},
  year          = {1975},
  number        = {12},
  pages         = {Ai, A411--A414},
  issn          = {0151-0509},
  mrclass       = {13F15 (12A20)},
  mrnumber      = {399081},
  mrreviewer    = {N. Sankaran}
}

@Book{            MR4446467,
  author        = {Scholze, Peter and Weinstein, Jared},
  title         = {Berkeley lectures on {$p$}-adic geometry},
  series        = {Annals of Mathematics Studies},
  volume        = {207},
  publisher     = {Princeton University Press, Princeton, NJ},
  year          = {2020},
  pages         = {x+250},
  isbn          = {978-0-691-20209-9; 978-0-691-20208-2; 978-0-691-20215-0},
  mrclass       = {14G45 (14A15 14F30 14G22 14G35 14M15)},
  mrnumber      = {4446467},
  mrreviewer    = {Lance Edward Miller}
}

@InCollection{    MR541021,
  author        = {Nagata, Masayoshi},
  title         = {On {E}uclid algorithm},
  booktitle     = {C. {P}. {R}amanujam---a tribute},
  series        = {Tata Inst. Fund. Res. Studies in Math.},
  volume        = {8},
  pages         = {175--186},
  publisher     = {Springer, Berlin-New York},
  year          = {1978},
  mrclass       = {13F07},
  mrnumber      = {541021},
  mrreviewer    = {Daniel Lazard}
}

@Article{         MR577178,
  author        = {Cirel\cprime son, B. S.},
  title         = {Quantum generalizations of {B}ell's inequality},
  journal       = {Lett. Math. Phys.},
  fjournal      = {Letters in Mathematical Physics. A Journal for the Rapid
                  Dissemination of Short Contributions in the Field of
                  Mathematical Physics},
  volume        = {4},
  year          = {1980},
  number        = {2},
  pages         = {93--100},
  issn          = {0377-9017},
  mrclass       = {81B05},
  mrnumber      = {577178},
  doi           = {10.1007/BF00417500},
  url           = {https://doi.org/10.1007/BF00417500}
}

@Book{            MR886677,
  author        = {Lang, Serge},
  title         = {Introduction to complex hyperbolic spaces},
  publisher     = {Springer-Verlag, New York},
  year          = {1987},
  pages         = {viii+271},
  isbn          = {0-387-96447-9},
  mrclass       = {32H15 (11J99 30D35 32-02 32H20 32H25)},
  mrnumber      = {886677},
  mrreviewer    = {Hirotaka\ Fujimoto},
  doi           = {10.1007/978-1-4757-1945-1},
  url           = {https://doi.org/10.1007/978-1-4757-1945-1}
}

@Article{         Mulvey1986,
  author        = {Mulvey, Christopher J.},
  title         = {\&},
  fjournal      = {Supplemento ai Rendiconti del Circolo Matem{\`a}tico di
                  Palermo. Serie II},
  journal       = {Suppl. Rend. Circ. Mat. Palermo (2)},
  issn          = {1592-9531},
  volume        = {12},
  pages         = {99--104},
  year          = {1986},
  language      = {English},
  keywords      = {46L60,46L05,81Q10},
  zbmath        = {4030272},
  zbl           = {0633.46065}
}

@Book{            Munkres2000,
  author        = {Munkres, James R.},
  title         = {Topology},
  edition       = {Second},
  publisher     = {Prentice Hall, Inc., Upper Saddle River, NJ},
  year          = {2000},
  pages         = {xvi+537},
  isbn          = {0-13-181629-2}
}

@Article{         munthe-kaas_lundervold_2013,
  author        = {Munthe-Kaas, Hans and Lundervold, Alexander},
  journal       = {Foundations of Computational Mathematics},
  volume        = {13},
  number        = {4},
  pages         = {583--613},
  year          = {2013},
  zbl           = {1327.17001}
}

@Unpublished{     Naor-2015,
  author        = {Assaf Naor},
  title         = {Metric Embeddings and Lipschitz Extensions},
  year          = {2015},
  url           = {https://web.math.princeton.edu/~naor/homepage%20files/embeddings_extensions.pdf}
}

@Article{         Nash-Williams63,
  title         = {On well-quasi-ordering finite trees},
  volume        = {59},
  doi           = {10.1017/S0305004100003844},
  number        = {4},
  journal       = {Mathematical Proceedings of the Cambridge Philosophical
                  Society},
  publisher     = {Cambridge University Press},
  author        = {Nash-Williams, C. St. J. A.},
  year          = {1963},
  pages         = {833–835}
}

@Article{         Nathanson1995,
  author        = {Nathanson, Melvyn B.},
  title         = {Inverse theorems for subset sums},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {347},
  number        = {4},
  year          = {1995},
  pages         = {1409--1422},
  publisher     = {American Mathematical Society},
  mrnumber      = {1273512},
  doi           = {10.2307/2154904},
  url           = {https://www.ams.org/journals/tran/1995-347-04/S0002-9947-1995-1273512-1/}
}

@Book{            Neukirch1992,
  author        = {Neukirch, J.},
  title         = {Algebraic number theory},
  series        = {Fundamental Principles of Mathematical Sciences},
  volume        = {322},
  note          = {Translated from the 1992 German original and with a note
                  by Norbert Schappacher, With a foreword by G. Harder},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1999},
  pages         = {xviii+571},
  isbn          = {3-540-65399-6},
  doi           = {10.1007/978-3-662-03983-0}
}

@Article{         Neumann-1954,
  author        = {Neumann, B. H.},
  title         = {Groups Covered By Permutable Subsets},
  year          = {1954},
  month         = apr,
  journal       = {Journal of the London Mathematical Society},
  volume        = {s1-29},
  number        = {2},
  pages         = {236--248},
  issn          = {00246107},
  doi           = {10.1112/jlms/s1-29.2.236}
}

@Book{            odifreddi1989,
  author        = {Piergiorgio Odifreddi},
  title         = {Classical Recursion Theory: The Theory of Functions and
                  Sets of Natural Numbers},
  publisher     = {Elsevier Science Publishing Co., Inc.},
  address       = {New York, N.Y., USA},
  year          = {1989},
  isbn          = {9780444872951},
  note          = {Studies in Logic and the Foundations of Mathematics, Vol.
                  125},
  doi           = {10.2307/2274492}
}

@Book{            Okninski1991,
  place         = {New York},
  title         = {Semigroup algebras},
  publisher     = {Marcel Dekker},
  author        = {Okniński, Jan},
  year          = {1991}
}

@Article{         ore33,
  issn          = {0003486X, 19398980},
  url           = {http://www.jstor.org/stable/1968173},
  author        = {Oystein Ore},
  journal       = {Annals of Mathematics},
  number        = {3},
  pages         = {480--508},
  publisher     = {[Annals of Mathematics, Trustees of Princeton University
                  on Behalf of the Annals of Mathematics, Mathematics
                  Department, Princeton University]},
  title         = {Theory of Non-Commutative Polynomials},
  urldate       = {2025-10-24},
  volume        = {34},
  year          = {1933}
}

@Article{         orosi2018faulhaber,
  author        = {Greg {Orosi}},
  title         = {{A simple derivation of Faulhaber's formula}},
  fjournal      = {{Applied Mathematics E-Notes}},
  journal       = {{Appl. Math. E-Notes}},
  issn          = {1607-2510/e},
  volume        = {18},
  pages         = {124--126},
  year          = {2018},
  publisher     = {Tsing Hua University, Department of Mathematics, Hsinchu},
  language      = {English},
  msc2010       = {41A58 30K05},
  zbl           = {1411.41023}
}

@Article{         orzech1971,
  author        = {Orzech, Morris},
  title         = {Onto endomorphisms are isomorphisms},
  journal       = {Amer. Math. Monthly},
  fjournal      = {American Mathematical Monthly},
  volume        = {78},
  year          = {1971},
  pages         = {357--362},
  issn          = {0002-9890,1930-0972},
  mrclass       = {13.40},
  mrnumber      = {280475},
  mrreviewer    = {M.\ Teply},
  doi           = {10.2307/2316897},
  url           = {https://doi.org/10.2307/2316897}
}

@Article{         ostrowski1916,
  author        = {Ostrowski, Alexander},
  title         = {\"Uber einige {L}\"osungen der {F}unktionalgleichung
                  {$\psi(x)\cdot\psi(x)=\psi(xy)$}},
  journal       = {Acta Math.},
  fjournal      = {Acta Mathematica},
  volume        = {41},
  year          = {1916},
  number        = {1},
  pages         = {271--284},
  issn          = {0001-5962,1871-2509},
  mrclass       = {99-04},
  mrnumber      = {1555153},
  doi           = {10.1007/BF02422947},
  url           = {https://doi.org/10.1007/BF02422947}
}

@Article{         oudom_guin_2008,
  author        = {Oudom, J.-M. and Guin, D.},
  title         = {On the {Lie} enveloping algebra of a pre-{Lie} algebra},
  fjournal      = {Journal of \(K\)-Theory},
  journal       = {J. \(K\)-Theory},
  volume        = {2},
  number        = {1},
  pages         = {147--167},
  year          = {2008},
  doi           = {10.1017/is008001011jkt037},
  zbmath        = {5356716},
  zbl           = {1178.17011}
}

@Book{            oxley2011,
  author        = {Oxley, James},
  title         = {Matroid Theory},
  publisher     = {Oxford University Press},
  year          = {2011},
  month         = {02},
  isbn          = {9780198566946},
  doi           = {10.1093/acprof:oso/9780198566946.001.0001},
  url           = {https://doi.org/10.1093/acprof:oso/9780198566946.001.0001}
}

@Book{            Papikian2023,
  author        = {Papikian, Mihran},
  title         = {Drinfeld Modules},
  year          = {2023},
  publisher     = {Springer International Publishing},
  isbn          = {978-3-031-19707-9},
  doi           = {10.1007/978-3-031-19707-9},
  url           = {https://doi.org/10.1007/978-3-031-19707-9}
}

@Article{         perfect1969matroid,
  author        = {Perfect, Hazel},
  title         = {Independence Spaces and Combinatorial Problems},
  journal       = {Proceedings of the London Mathematical Society},
  volume        = {s3-19},
  number        = {1},
  pages         = {17-30},
  doi           = {https://doi.org/10.1112/plms/s3-19.1.17},
  url           = {https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/plms/s3-19.1.17},
  eprint        = {https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s3-19.1.17},
  year          = {1969}
}

@InCollection{    petridis2014,
  author        = {Petridis, G.},
  title         = {The {Pl{\"u}nnecke}-{Ruzsa} inequality: an overview},
  booktitle     = {Combinatorial and additive number theory. Selected papers
                  based on the presentations at the conferences CANT 2011 and
                  2012, New York, NY, USA, May 2011 and May 2012},
  isbn          = {978-1-4939-1600-9; 978-1-4939-1601-6},
  pages         = {229--241},
  year          = {2014},
  publisher     = {New York, NY: Springer},
  language      = {English},
  doi           = {10.1007/978-1-4939-1601-6_16},
  keywords      = {11B30},
  zblath        = {6463830},
  zbl           = {1371.11029}
}

@Article{         phillips1940,
  author        = {Phillips, Ralph S.},
  title         = {Integration in a convex linear topological space},
  journal       = {Trans. Amer. Math. Soc.},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {47},
  year          = {1940},
  pages         = {114--145},
  issn          = {0002-9947},
  mrclass       = {46.3X},
  mrnumber      = {2707},
  mrreviewer    = {B. J. Pettis},
  doi           = {10.2307/1990004},
  url           = {https://doi.org/10.2307/1990004}
}

@Book{            picado2011frames,
  title         = {Frames and Locales: topology without points},
  author        = {Picado, Jorge and Pultr, Ale{\v{s}}},
  year          = {2011},
  publisher     = {Birkhäuser Basel},
  doi           = {10.1007/978-3-0348-0154-6},
  isbn          = {9783034801539}
}

@Book{            picado2012,
  author        = {Picado, Jorge and Pultr, Aleš},
  year          = {2012},
  month         = {01},
  pages         = {},
  title         = {Frames and Locales: Topology without points},
  volume        = {2012},
  isbn          = {978-3-0348-0153-9},
  journal       = {Frontiers in Mathematics},
  doi           = {10.1007/978-3-0348-0154-6}
}

@Misc{            poeschel2017siegelsternberg,
  title         = {On the Siegel-Sternberg linearization theorem},
  author        = {Jürgen Pöschel},
  year          = {2017},
  eprint        = {1702.03691},
  archiveprefix = {arXiv},
  primaryclass  = {math.DS}
}

@Misc{            ponton2020chebyshev,
  title         = {Roots of {C}hebyshev polynomials: a purely algebraic
                  approach},
  author        = {Lionel Ponton},
  year          = {2020},
  eprint        = {2008.03575},
  archiveprefix = {arXiv},
  primaryclass  = {math.NT}
}

@Article{         Prielipp1970,
  author        = {Robert W. Prielipp},
  title         = {PERFECT NUMBERS, ABUNDANT NUMBERS, AND DEFICIENT NUMBERS},
  journal       = {The Mathematics Teacher},
  volume        = {63},
  year          = {1970},
  pages         = {692--696},
  issn          = {00255769},
  url           = {http://www.jstor.org/stable/27958492}
}

@Book{            Quillen1967,
  author        = {Quillen, Daniel G.},
  title         = {Homotopical algebra},
  series        = {Lecture Notes in Mathematics},
  volume        = {No. 43},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1967},
  pages         = {iv+156 pp. (not consecutively paged)},
  mrclass       = {18.20 (55.00)},
  mrnumber      = {223432}
}

@InCollection{    ribenboim1971,
  author        = {Ribenboim, Paulo},
  title         = {\'{E}pimorphismes de modules qui sont n\'{e}cessairement
                  des isomorphismes},
  booktitle     = {S\'{e}minaire {P}. {D}ubreil, {M}.-{L}.
                  {D}ubreil-{J}acotin, {L}. {L}esieur et {C}. {P}isot
                  (24\`eme ann\'{e}e: 1970/71), {A}lg\`ebre et th\'{e}orie
                  des nombres, {F}asc. 2},
  pages         = {Exp. No. 19, 5},
  publisher     = {\'{E}d. Acad. RS Roumanie, Bucharest},
  year          = {1971},
  mrclass       = {16A52},
  mrnumber      = {393128},
  mrreviewer    = {Jonathan\ Golan}
}

@Book{            riehl2017,
  author        = {Riehl, Emily},
  title         = {Category theory in context},
  publisher     = {Dover Publications},
  year          = {2017},
  isbn          = {048680903X},
  url           = {https://emilyriehl.github.io/files/context.pdf}
}

@Article{         RiehlVerity2015,
  author        = {Emily Riehl and Dominic Verity},
  title         = {The 2-category theory of quasi-categories},
  journal       = {Advances in Mathematics},
  volume        = {280},
  pages         = {549-642},
  year          = {2015},
  issn          = {0001-8708},
  doi           = {https://doi.org/10.1016/j.aim.2015.04.021},
  url           = {https://www.sciencedirect.com/science/article/pii/S0001870815001577}
}

@Book{            RiehlVerity2022,
  author        = {Riehl, Emily and Verity, Dominic},
  title         = {Elements of $\infty$-Category Theory},
  place         = {Cambridge},
  series        = {Cambridge Studies in Advanced Mathematics},
  doi           = {10.1017/9781108936880},
  publisher     = {Cambridge University Press},
  year          = {2022},
  collection    = {Cambridge Studies in Advanced Mathematics},
  url           = {https://emilyriehl.github.io/files/elements.pdf}
}

@Misc{            RisingSea,
  author        = "Vakil, Ravi",
  title         = "{The Rising Sea: Foundations Of Algebraic Geometry Notes}",
  url           = "https://math.stanford.edu/~vakil/216blog/"
}

@Book{            robertcasella2004,
  author        = {Robert, Christian and Casella, George},
  title         = {Monte Carlo Statistical Methods},
  edition       = {2nd ed.},
  isbn          = {0-387-21239-6},
  year          = {2004},
  publisher     = {Springer Science+Business Media Inc.},
  language      = {English}
}

@Article{         Roby-1963,
  title         = {Lois polynomes et lois formelles en théorie des modules},
  author        = {Roby, Norbert},
  year          = {1963},
  journal       = {Annales scientifiques de l'École Normale Supérieure},
  volume        = {80},
  number        = {3},
  pages         = {213--348},
  doi           = {10.24033/asens.1124},
  urldate       = {2022-09-15},
  langid        = {french}
}

@Article{         Roby-1965,
  title         = {Les Algèbres à Puissances Divisées},
  author        = {Roby, Norbert},
  year          = {1965},
  journal       = {Bulletin des Sciences Mathématiques. Deuxième Série},
  volume        = {89},
  pages         = {75--91}
}

@Book{            roigdomingues2012,
  author        = {Margalef-Roig, Juan and Outerelo Dominguez, Enrique},
  title         = {Differential topology. {Transl}. from the {Spanish}},
  fseries       = {North-Holland Mathematics Studies},
  series        = {North-Holland Math. Stud.},
  issn          = {0304-0208},
  volume        = {173},
  isbn          = {0-444-88434-3},
  year          = {1992},
  publisher     = {Amsterdam etc.: North-Holland},
  language      = {English},
  keywords      = {57-01,57Rxx,58-01},
  zbmath        = {53780},
  zbl           = {0760.57001}
}

@Article{         rooij1970,
  title         = {Non-Archimedean uniformities},
  author        = {van Rooij, A. C. M.},
  year          = {1970},
  journal       = {Kyungpook Math. J.},
  volume        = {10},
  pages         = {21--30}
}

@Article{         Rosenlicht_1972,
  author        = {Rosenlicht, Maxwell},
  title         = {Integration in finite terms},
  fjournal      = {American Mathematical Monthly},
  journal       = {Am. Math. Mon.},
  issn          = {0002-9890},
  volume        = {79},
  pages         = {963--972},
  year          = {1972},
  language      = {English},
  doi           = {10.2307/2318066},
  keywords      = {12H05},
  zbmath        = {3394287},
  zbl           = {0249.12106}
}

@Article{         Rote_2023,
  title         = {The Generalized Combinatorial Lason-Alon-Zippel-Schwartz
                  Nullstellensatz Lemma},
  url           = {http://arxiv.org/abs/2305.10900},
  doi           = {10.48550/arXiv.2305.10900},
  abstractnote  = {We survey a few strengthenings and generalizations of the
                  Combinatorial Nullstellensatz of Alon and the
                  Schwartz-Zippel Lemma. These lemmas guarantee the existence
                  of (a certain number of) nonzeros of a multivariate
                  polynomial when the variables run independently through
                  sufficiently large ranges.},
  note          = {arXiv:2305.10900 [math]},
  number        = {arXiv:2305.10900},
  publisher     = {arXiv},
  author        = {Rote, Günter},
  year          = {2023},
  month         = may
}

@Book{            rudin1991,
  author        = {Rudin, Walter},
  title         = {Functional analysis},
  edition       = {2nd ed.},
  isbn          = {0-07-054236-8},
  year          = {1991},
  publisher     = {New York, NY: McGraw-Hill},
  language      = {English},
  keywords      = {46-02,47-02,46Axx,46Bxx,46Exx,46Fxx,46Jxx,47B06,47D03,47H10,46L05,47B15},
  zbmath        = {1022519},
  zbl           = {0867.46001}
}

@Book{            rudin2006real,
  title         = {Real and Complex Analysis},
  author        = {Rudin, Walter},
  year          = {1987},
  publisher     = {McGraw-Hill Book Company},
  edition       = {Third Edition},
  isbn          = {0-07-100276-6}
}

@Article{         ruzsa2009,
  author        = {Ruzsa, Imre},
  title         = {Sumsets and structure},
  journal       = {Combinatorial Number Theory and Additive Group Theory},
  year          = {2009},
  month         = {01}
}

@Article{         salwinski2018,
  author        = {Salwinski, David},
  title         = {Euler's sine product formula: an elementary proof},
  journal       = {College Math. J.},
  fjournal      = {The College Mathematics Journal},
  volume        = {49},
  year          = {2018},
  number        = {2},
  pages         = {126--135},
  issn          = {0746-8342},
  mrclass       = {26A06 (00A05)},
  mrnumber      = {3766700},
  doi           = {10.1080/07468342.2018.1419703}
}

@Book{            samuel1967,
  author        = {Samuel, Pierre},
  title         = {Th\'{e}orie alg\'{e}brique des nombres},
  publisher     = {Hermann, Paris},
  year          = {1967},
  pages         = {130},
  mrclass       = {10.65 (12.00)},
  mrnumber      = {0215808}
}

@Book{            schaefer1966,
  title         = {Topological Vector Spaces},
  author        = {Schaefer, H.H.},
  lccn          = {65024692},
  series        = {Graduate Texts in Mathematics},
  year          = {1966},
  publisher     = {Macmillan}
}

@Misc{            schleicher_stoll,
  author        = {Dierk Schleicher and Michael Stoll},
  title         = {An introduction to {C}onway's games and numbers},
  url           = {http://www.cs.cmu.edu/afs/cs/academic/class/15859-s05/www/lecture-notes/comb-games-notes.pdf}
}

@Misc{            scholze2011perfectoid,
  title         = {Perfectoid spaces},
  author        = {Peter Scholze},
  year          = {2011},
  eprint        = {1111.4914},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG}
}

@InProceedings{   scholze2013adic,
  title         = {p-adic Hodge theory for rigid-analytic varieties},
  author        = {Scholze, Peter},
  booktitle     = {Forum of Mathematics, Pi},
  volume        = {1},
  pages         = {e1},
  year          = {2013},
  organization  = {Cambridge University Press}
}

@Misc{            scholze2019condensed,
  title         = {Lectures on Condensed Mathematics},
  author        = {Peter Scholze},
  year          = {2019},
  url           = {https://www.math.uni-bonn.de/people/scholze/Condensed.pdf}
}

@Article{         schwartz_1980,
  author        = {Schwartz, Jacob T.},
  title         = {Fast probabilistic algorithms for verification of
                  polynomial identities},
  journal       = {Journal of the ACM},
  volume        = {27},
  number        = {4},
  pages         = {701--717},
  year          = {1980},
  doi           = {10.1145/322217.322225}
}

@Book{            seligman1967,
  author        = {Seligman, G. B.},
  title         = {Modular {L}ie algebras},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band
                  40},
  publisher     = {Springer-Verlag New York, Inc., New York},
  year          = {1967},
  pages         = {ix+165},
  mrclass       = {17.30 (22.00)},
  mrnumber      = {0245627},
  mrreviewer    = {R. E. Block}
}

@Book{            seneta2006,
  author        = {Seneta, Eugene},
  title         = {Non-negative Matrices and Markov Chains},
  series        = {Springer Series in Statistics},
  edition       = {Revised printing of the second edition},
  publisher     = {Springer},
  address       = {New York},
  year          = {2006}
}

@Book{            serge_lang_algebra,
  author        = {Serge Lang},
  title         = {Algebra},
  isbn          = {978-0-387-95385-4},
  year          = {2002},
  publisher     = {Springer New York, NY},
  language      = {English},
  doi           = {10.1007/978-1-4613-0041-0},
  edition       = {3},
  series        = {Graduate Texts in Mathematics}
}

@Article{         serre1951,
  author        = {Serre, Jean-Pierre},
  title         = {Homologie singuli\`ere des espaces fibr\'{e}s.
                  {A}pplications},
  journal       = {Ann. of Math. (2)},
  year          = {1951},
  volume        = {54},
  pages         = {425--505},
  issn          = {0003-486X},
  doi           = {10.2307/1969485},
  fjournal      = {Annals of Mathematics. Second Series},
  mrclass       = {56.0X},
  mrnumber      = {0045386},
  mrreviewer    = {W. S. Massey}
}

@Article{         serre1958,
  author        = {Serre, Jean-Pierre},
  title         = {Groupes d'homotopie et classes de groupes ab\'eliens},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {58},
  year          = {1953},
  pages         = {258--294},
  issn          = {0003-486X},
  mrclass       = {56.0X},
  mrnumber      = {59548},
  mrreviewer    = {W.\ S.\ Massey},
  doi           = {10.2307/1969789},
  url           = {https://doi.org/10.2307/1969789}
}

@Book{            serre1965,
  author        = {Serre, Jean-Pierre},
  title         = {Complex semisimple {L}ie algebras},
  note          = {Translated from the French by G. A. Jones},
  publisher     = {Springer-Verlag, New York},
  year          = {1987},
  pages         = {x+74},
  isbn          = {0-387-96569-6},
  mrclass       = {17-01 (17B20)},
  mrnumber      = {914496},
  doi           = {10.1007/978-1-4757-3910-7},
  url           = {https://doi.org/10.1007/978-1-4757-3910-7}
}

@InProceedings{   serre1967,
  author        = {Serre, Jean-Pierre},
  title         = {Local class field theory},
  booktitle     = {Algebraic {N}umber {T}heory ({P}roc. {I}nstructional
                  {C}onf., {B}righton, 1965)},
  pages         = {128--161},
  publisher     = {Thompson, Washington, D.C.},
  year          = {1967},
  mrclass       = {10.68},
  mrreviewer    = {G. Whaples}
}

@Book{            serre1968,
  author        = {Serre, Jean-Pierre},
  title         = {Corps locaux},
  series        = {Publications de l'Universit\'e{} de {N}ancago},
  volume        = {No. VIII},
  note          = {Deuxi\`eme \'edition},
  publisher     = {Hermann, {P}aris},
  year          = {1968},
  pages         = {245},
  mrclass       = {12BXX (14GXX)},
  mrnumber      = {354618}
}

@Book{            silverman2009,
  author        = {Silverman, Joseph},
  publisher     = {Springer New York, NY},
  series        = {Graduate Texts in Mathematics},
  title         = {The Arithmetic of Elliptic Curves},
  year          = {2009}
}

@Article{         silvester2000,
  issn          = {00255572},
  url           = {http://www.jstor.org/stable/3620776},
  author        = {Silvester, John R.},
  journal       = {The Mathematical Gazette},
  number        = {501},
  pages         = {460--467},
  publisher     = {Mathematical Association},
  title         = {Determinants of Block Matrices},
  volume        = {84},
  year          = {2000}
}

@Book{            simon2011,
  author        = {Simon, Barry},
  title         = {Convexity: An Analytic Viewpoint},
  year          = {2011},
  series        = {Cambridge Tracts in Mathematics},
  publisher     = {Cambridge University Press},
  place         = {Cambridge},
  doi           = {10.1017/CBO9780511910135},
  collection    = {Cambridge Tracts in Mathematics}
}

@Article{         skoda2006,
  author        = {{\v{S}}koda, Zoran},
  title         = {Noncommutative localization in noncommutative geometry},
  journal       = {London Math. Soc. Lecture Note Series},
  fjournal      = {London Mathematical Society Lecture Note Series},
  volume        = {330},
  pages         = {220--313},
  year          = {2006},
  url           = {https://doi.org/10.48550/arXiv.math/0403276}
}

@Book{            soare1987,
  author        = {Soare, Robert I.},
  title         = {Recursively enumerable sets and degrees},
  series        = {Perspectives in Mathematical Logic},
  note          = {A study of computable functions and computably generated
                  sets},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1987},
  pages         = {xviii+437},
  isbn          = {3-540-15299-7},
  mrclass       = {03-02 (03D20 03D25 03D30)},
  mrnumber      = {882921},
  mrreviewer    = {Peter G. Hinman},
  doi           = {10.1007/978-3-662-02460-7}
}

@Article{         spaltenstein1988,
  author        = {Spaltenstein, N.},
  title         = {Resolutions of unbounded complexes},
  journal       = {Compositio Math.},
  fjournal      = {Compositio Mathematica},
  volume        = {65},
  year          = {1988},
  number        = {2},
  pages         = {121--154},
  issn          = {0010-437X,1570-5846},
  mrclass       = {18E25 (32C35)},
  mrnumber      = {932640},
  mrreviewer    = {Michael\ M.\ Kapranov},
  url           = {http://www.numdam.org/item?id=CM_1988__65_2_121_0}
}

@Book{            spiegel_odonnel1997,
  author        = {Spiegel, Eugene and O'Donnell, Christopher J.},
  title         = {Incidence algebras},
  series        = {Monographs and Textbooks in Pure and Applied Mathematics},
  volume        = {206},
  publisher     = {Marcel Dekker, Inc., New York},
  year          = {1997},
  pages         = {x+335},
  isbn          = {0-8247-0036-8},
  mrclass       = {06-02 (05-02 16S99)},
  mrnumber      = {1445562},
  mrreviewer    = {Giovanni\ Ferrero}
}

@InProceedings{   srl_itp,
  author        = {Dillies, Ya\"{e}l and Mehta, Bhavik},
  title         = {{Formalising Szemer\'{e}di’s Regularity Lemma in Lean}},
  booktitle     = {13th International Conference on Interactive Theorem
                  Proving (ITP 2022)},
  pages         = {9:1--9:19},
  series        = {Leibniz International Proceedings in Informatics
                  (LIPIcs)},
  isbn          = {978-3-95977-252-5},
  issn          = {1868-8969},
  year          = {2022},
  volume        = {237},
  editor        = {Andronick, June and de Moura, Leonardo},
  publisher     = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address       = {Dagstuhl, Germany},
  url           = {https://drops.dagstuhl.de/opus/volltexte/2022/16718},
  urn           = {urn:nbn:de:0030-drops-167185},
  doi           = {10.4230/LIPIcs.ITP.2022.9},
  annote        = {Keywords: Lean, formalisation, formal proof, graph theory,
                  combinatorics, additive combinatorics, Szemer\'{e}di’s
                  Regularity Lemma, Roth’s Theorem}
}

@Misc{            stacks-project,
  title         = {Stacks Project},
  author        = {The {Stacks Project Authors}},
  year          = {2018},
  url           = {https://stacks.math.columbia.edu}
}

@Book{            stanley2012,
  author        = {Stanley, Richard P.},
  title         = {Enumerative combinatorics},
  place         = {Cambridge},
  publisher     = {Cambridge Univ. Press},
  year          = {2012}
}

@Book{            stern2009,
  author        = {Stern, Manfred},
  title         = {Semimodular lattices. {Theory} and applications},
  edition       = {Reprint of the 1999 hardback ed.},
  isbn          = {978-0-521-11884-2},
  year          = {2009},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  keywords      = {06C10,06-02,06A07},
  zbmath        = {5610899},
  zbl           = {1175.06002}
}

@Article{         Stone1935,
  author        = {Stone, M. H.},
  year          = {1935},
  title         = {Postulates for Boolean Algebras and Generalized Boolean
                  Algebras},
  journal       = {American Journal of Mathematics},
  volume        = {57},
  issue         = {4},
  doi           = {10.2307/2371008}
}

@Article{         Stone1938,
  author        = {Stone, M. H.},
  year          = {1938},
  title         = {Topological representations of distributive lattices and
                  Brouwerian logics},
  journal       = {Časopis pro pěstování matematiky a fysiky},
  volume        = {67},
  issue         = {1},
  url           = {http://dml.cz/dmlcz/124080}
}

@Article{         Stone1979,
  author        = {Stone, A. H.},
  journal       = {General Topology Appl.},
  title         = {Inverse limits of compact spaces},
  year          = {1979},
  issn          = {0016-660X},
  number        = {2},
  pages         = {203--211},
  volume        = {10},
  doi           = {10.1016/0016-660x(79)90008-4},
  fjournal      = {General Topology and its Applications},
  mrclass       = {54B25},
  mrnumber      = {527845},
  mrreviewer    = {J. Segal}
}

@Article{         Strojnowski1980,
  author        = {Andrzej Strojnowski},
  title         = {A note on u.p. groups},
  journal       = {Communications in Algebra},
  volume        = {8},
  number        = {3},
  pages         = {231-234},
  year          = {1980},
  publisher     = {Taylor & Francis},
  doi           = {10.1080/00927878008822456}
}

@Book{            talagrand2014,
  author        = {Talagrand, Michel},
  title         = {Upper and lower bounds for stochastic processes},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete. 3.
                  Folge. A Series of Modern Surveys in Mathematics [Results
                  in Mathematics and Related Areas. 3rd Series. A Series of
                  Modern Surveys in Mathematics]},
  volume        = {60},
  note          = {Modern methods and classical problems},
  publisher     = {Springer, Heidelberg},
  year          = {2014},
  pages         = {xvi+626},
  isbn          = {978-3-642-54074-5; 978-3-642-54075-2},
  mrclass       = {60G17 (46B99 60B11 60G15 60G52)},
  mrnumber      = {3184689},
  mrreviewer    = {Sasha\ Sodin},
  doi           = {10.1007/978-3-642-54075-2},
  url           = {https://doi.org/10.1007/978-3-642-54075-2}
}

@Book{            tao-vu,
  author        = {Tao, Terence and Vu, Van H.},
  title         = {Additive combinatorics},
  fseries       = {Cambridge Studies in Advanced Mathematics},
  series        = {Camb. Stud. Adv. Math.},
  volume        = {105},
  isbn          = {0-521-85386-9},
  year          = {2006},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  keywords      = {11-02,05-02,05D10,05D40,11B75,11B13,11N13,11P70,11K31,11P82,28D05,37A45},
  zbmath        = {5066399},
  zbl           = {1127.11002}
}

@Book{            tao2010,
  author        = {Tao, Terence},
  title         = {An Epsilon of Room, I: Real Analysis: Pages from Year
                  Three of a Mathematical Blog},
  year          = 2010,
  publisher     = {American Mathematical Society},
  url           = {https://terrytao.files.wordpress.com/2010/02/epsilon.pdf}
}

@Article{         Taylor-Wiles-FLT,
  author        = {Taylor, Richard and Wiles, Andrew},
  title         = {Ring-theoretic properties of certain {H}ecke algebras},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {141},
  year          = {1995},
  number        = {3},
  pages         = {553--572},
  issn          = {0003-486X,1939-8980},
  mrclass       = {11G18 (11D41 11F11 11R34 13C40)},
  mrnumber      = {1333036},
  mrreviewer    = {Karl\ Rubin},
  doi           = {10.2307/2118560},
  url           = {https://doi.org/10.2307/2118560}
}

@Book{            Tent_Ziegler,
  place         = {Cambridge},
  series        = {Lecture Notes in Logic},
  title         = {A Course in Model Theory},
  doi           = {10.1017/CBO9781139015417},
  publisher     = {Cambridge University Press},
  author        = {Tent, Katrin and Ziegler, Martin},
  year          = {2012},
  collection    = {Lecture Notes in Logic}
}

@Article{         tochiori_bertrand,
  author        = {Tochiori, Shigenori},
  title         = {Considering the Proof of "There is a Prime between n and
                  2n"},
  subtitle      = {Proof by a stronger estimation than the Bertrand-Chebyshev
                  theorem},
  language      = {Japanese},
  url           = {https://www.chart.co.jp/subject/sugaku/suken_tsushin/76/76-8.pdf}
}

@Book{            tointon2020,
  author        = {Tointon, Matthew C. H.},
  title         = {Introduction to approximate groups},
  series        = {London Mathematical Society Student Texts},
  volume        = {94},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2020},
  pages         = {xiii+205},
  isbn          = {978-1-108-45644-9; 978-1-108-47073-5},
  mrclass       = {20E07 (20F65)},
  mrnumber      = {3971253}
}

@Book{            treves1967,
  author        = {Tr\`eves, Fran\c cois},
  title         = {Topological vector spaces, distributions and kernels},
  publisher     = {Academic Press, New York-London},
  year          = {1967},
  pages         = {xvi+624},
  mrclass       = {46.00},
  mrnumber      = {225131}
}

@Book{            upmeier1987,
  author        = {Harald {Upmeier}},
  title         = {{Jordan algebras in analysis, operator theory, and quantum
                  mechanics}},
  fjournal      = {{Regional Conference Series in Mathematics}},
  journal       = {{Reg. Conf. Ser. Math.}},
  issn          = {0160-7642},
  volume        = {67},
  isbn          = {0-8218-0717-X},
  pages         = {viii + 85},
  year          = {1987},
  publisher     = {Providence, RI: American Mathematical Society (AMS)},
  language      = {English},
  msc2010       = {17-02 46-02 17C65 46H70 32M15 46G20 46L70 47B35 81Q99},
  zbl           = {0608.17013}
}

@Article{         Vaisala_2003,
  author        = {Jussi Väisälä},
  title         = {A Proof of the Mazur-Ulam Theorem},
  year          = 2003,
  journal       = {The American Mathematical Monthly},
  volume        = 110,
  number        = 7,
  publisher     = {Taylor & Francis, Ltd. on behalf of the Mathematical
                  Association of America},
  pages         = {633-635},
  url           = {https://www.jstor.org/stable/3647749},
  doi           = {10.2307/3647749}
}

@Article{         van_der_hoeven,
  author        = {van der Hoeven, Joris},
  year          = {2001},
  month         = {12},
  pages         = {},
  title         = {Operators on generalized power series},
  volume        = {45},
  journal       = {Illinois Journal of Mathematics},
  doi           = {10.1215/ijm/1258138061}
}

@Book{            verdier1996,
  author        = {Verdier, Jean-Louis},
  title         = {Des cat\'{e}gories d\'{e}riv\'{e}es des cat\'{e}gories
                  ab\'{e}liennes},
  note          = {With a preface by Luc Illusie, Edited and with a note by
                  Georges Maltsiniotis},
  journal       = {Ast\'{e}risque},
  number        = {239},
  year          = {1996},
  pages         = {xii+253 pp. (1997)},
  issn          = {0303-1179},
  mrclass       = {18E30 (18-03 18E35)},
  mrnumber      = {1453167}
}

@Book{            vershynin2018high,
  title         = {High-dimensional probability: An introduction with
                  applications in data science},
  author        = {Vershynin, Roman},
  series        = {Cambridge Series in Statistical and Probabilistic
                  Mathematics},
  volume        = {47},
  year          = {2018},
  publisher     = {Cambridge university press},
  isbn          = {9781108415194}
}

@Book{            Vickers1989,
  author        = {Vickers, Steven},
  title         = {Topology via Logic},
  isbn          = {0-521-57651-2},
  year          = {1989},
  publisher     = {University of Cambridge},
  language      = {English}
}

@Misc{            vistoli2004,
  author        = {Vistoli, Angelo},
  title         = {Notes on {Grothendieck} topologies, fibered categories and
                  descent theory},
  year          = {2004},
  howpublished  = {Preprint, {arXiv}:math/0412512 [math.{AG}] (2004)},
  url           = {https://arxiv.org/abs/math/0412512},
  arxiv         = {arXiv:math/0412512}
}

@Article{         vogt-1971,
  author        = {Vogt, Rainer M.},
  title         = {Convenient categories of topological spaces for homotopy
                  theory},
  journal       = {Arch. Math. (Basel)},
  fjournal      = {Archiv der Mathematik},
  volume        = {22},
  year          = {1971},
  pages         = {545--555},
  issn          = {0003-889X,1420-8938},
  mrclass       = {55D99 (54A99)},
  mrnumber      = {300277},
  doi           = {10.1007/BF01222616},
  url           = {https://doi.org/10.1007/BF01222616}
}

@Book{            wall2018analytic,
  title         = {Analytic Theory of Continued Fractions},
  author        = {Wall, H.S.},
  isbn          = {9780486830445},
  series        = {Dover Books on Mathematics},
  year          = {2018},
  publisher     = {Dover Publications}
}

@Book{            washington_cyclotomic,
  author        = {Washington, Lawrence C.},
  title         = {Introduction to cyclotomic fields},
  series        = {Graduate Texts in Mathematics},
  volume        = {83},
  edition       = {Second},
  publisher     = {Springer-Verlag, New York},
  year          = {1997}
}

@Book{            wasserman2003,
  author        = {Wasserman, Larry},
  title         = {All Of Statistics: A Concise Course in Statistical
                  Inference},
  year          = 2004,
  publisher     = {Springer}
}

@Misc{            wedhorn_adic,
  author        = {Torsten Wedhorn},
  title         = {Adic Spaces},
  year          = {2019},
  eprint        = {arXiv:1910.05934}
}

@Book{            Weibel2013,
  author        = {Weibel, Charles A.},
  title         = {The {K}-book: an introduction to algebraic {K}-theory},
  isbn          = {978-0-8218-9132-2},
  series        = {Graduate Studies in Mathematics },
  volume        = {145},
  year          = {2013},
  publisher     = {American Mathematical Society},
  url           = {https://sites.math.rutgers.edu/~weibel/Kbook.html}
}

@Book{            weidmann_linear,
  author        = {Weidmann, Joachim},
  title         = {Linear operators in {H}ilbert spaces},
  isbn          = {0-387-90427-1},
  series        = {Graduate Texts in Mathematics},
  volume        = {68},
  note          = {Translated from the German by Joseph Sz\"{u}cs},
  publisher     = {Springer},
  year          = {1980},
  pages         = {xiii+402}
}

@Misc{            welzl_garter,
  author        = {Emo Welzl and Bernd G\"{a}rtner},
  title         = {Cone Programming},
  url           = {https://ti.inf.ethz.ch/ew/lehre/ApproxSDP09/notes/conelp.pdf}
}

@Book{            Wielandt-1964,
  title         = {Finite Permutation Groups},
  author        = {Wielandt, Helmut},
  translator    = {Bercov, R.},
  year          = {1964},
  series        = {Academic Paperbacks},
  publisher     = {Academic Press},
  address       = {New York},
  isbn          = {978-0-12-749650-4}
}

@Article{         Wiles-FLT,
  author        = {Wiles, Andrew},
  title         = {Modular elliptic curves and {F}ermat's last theorem},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {141},
  year          = {1995},
  number        = {3},
  pages         = {443--551},
  issn          = {0003-486X,1939-8980},
  mrclass       = {11G05 (11D41 11F11 11F80 11G18)},
  mrnumber      = {1333035},
  mrreviewer    = {Karl\ Rubin},
  doi           = {10.2307/2118559},
  url           = {https://doi.org/10.2307/2118559}
}

@Article{         windisch2021,
  title         = {Equivalent characterizations of non-Archimedean uniform
                  spaces},
  author        = {Daniel Windisch},
  year          = {2021},
  eprint        = {2111.09722},
  archiveprefix = {arXiv},
  primaryclass  = {math.GN},
  url           = {https://arxiv.org/abs/2111.09722}
}

@TechReport{      zaanen1966,
  author        = {Zaanen, A. C.},
  title         = {Lectures on "Riesz Spaces"},
  institution   = {Euratom},
  year          = {1966},
  number        = {EUR 3140.e}
}

@Article{         Zagier1990,
  author        = {Zagier, Don},
  title         = {A One-Sentence Proof That Every Prime {$p\equiv 1(\mod
                  4)$} Is a Sum of Two Squares},
  publisher     = {Mathematical Association of America},
  year          = {1990},
  pages         = {144},
  journal       = {The American Mathematical Monthly},
  volume        = {97},
  number        = {2},
  doi           = {10.2307/2323918},
  url           = {https://doi.org/10.2307/2323918}
}

@Book{            zbMATH02107988,
  author        = {Willard, Stephen},
  title         = {General topology},
  edition       = {Reprint of the 1970 original},
  isbn          = {0-486-43479-6},
  year          = {2004},
  publisher     = {Mineola, NY: Dover Publications},
  language      = {English},
  keywords      = {54-01},
  zbmath        = {2107988},
  zbl           = {1052.54001}
}

@Book{            zbMATH05171613,
  author        = {Watkins, John J.},
  title         = {Topics in commutative ring theory},
  isbn          = {978-0-691-12748-4},
  year          = {2007},
  publisher     = {Princeton, NJ: Princeton University Press},
  language      = {English},
  keywords      = {13-01},
  zbmath        = {5171613},
  zbl           = {1123.13002}
}

@Article{         zbMATH06785026,
  author        = {John F. {Clauser} and Michael A. {Horne} and Abner
                  {Shimony} and Richard A. {Holt}},
  title         = {{Proposed experiment to test local hidden-variable
                  theories}},
  fjournal      = {{Physical Review Letters}},
  journal       = {{Phys. Rev. Lett.}},
  issn          = {0031-9007; 1079-7114/e},
  volume        = {23},
  pages         = {880--883},
  year          = {1969},
  publisher     = {American Physical Society (APS), New York, NY},
  language      = {English},
  msc2010       = {81-05},
  zbl           = {1371.81014},
  doi           = {10.1103/PhysRevLett.23.880},
  url           = {https://doi.org/10.1103/PhysRevLett.23.880}
}

@Article{         zeilberger1984,
  author        = {Zeilberger, Doron},
  title         = {A combinatorial proof of {N}ewton's identities},
  journal       = {Discrete Mathematics},
  volume        = {49},
  number        = {3},
  pages         = {319},
  year          = {1984},
  publisher     = {Elsevier},
  issn          = {0012-365X},
  zbl           = {0535.05010},
  doi           = {10.1016/0012-365X(84)90171-7},
  url           = {https://doi.org/10.1016/0012-365X(84)90171-7}
}

@Article{         zippel_1979,
  author        = {Zippel, Richard},
  title         = {Probabilistic algorithms for sparse polynomials},
  booktitle     = {Symbolic and Algebraic Computation, EUROSAM '79, An
                  International Symposium on Symbolic and Algebraic
                  Computation, Marseille, France, June 1979, Proceedings},
  series        = {Lecture Notes in Computer Science},
  volume        = {72},
  pages         = {216--226},
  year          = {1979},
  doi           = {10.1007/3-540-09519-5_73},
  isbn          = {978-3-540-09519-4}
}

@Article{         zorn1937,
  author        = {Zorn, Max},
  title         = {On a theorem of {E}ngel},
  journal       = {Bull. Amer. Math. Soc.},
  fjournal      = {Bulletin of the American Mathematical Society},
  volume        = {43},
  year          = {1937},
  number        = {6},
  pages         = {401--404},
  issn          = {0002-9904},
  mrclass       = {DML},
  mrnumber      = {1563550},
  doi           = {10.1090/S0002-9904-1937-06565-7},
  url           = {https://doi.org/10.1090/S0002-9904-1937-06565-7}
}

@Book{            zwillinger2003,
  title         = {CRC standard mathematical tables and formulae},
  publisher     = {chapman and hall/CRC},
  author        = {Zwillinger, Daniel},
  year          = {2003},
  edition       = {31st ed.}
}
